mirror of https://github.com/postgres/postgres
This seems like a clearer name for what it does now. Provide a compatibility macro so that extensions don't have to convert to the new name right away. Discussion: https://postgr.es/m/116024.1640111629@sss.pgh.pa.uspull/76/head
parent
2ed8a8cc5b
commit
5609cc01c6
Loading…
Reference in new issue