mirror of https://github.com/postgres/postgres
There was no real need to use this here instead of a simpler API. Reviewed-by: John Naylor <john.naylor@enterprisedb.com> Discussion: https://www.postgresql.org/message-id/flat/b239564c-cad0-b23e-c57e-166d883cb97d@enterprisedb.compull/77/head
parent
cfc7191dfe
commit
b45fa79340
Loading…
Reference in new issue