mirror of https://github.com/postgres/postgres
This was added in add5cf28d4
but was apparently never used.
Discussion: https://www.postgresql.org/message-id/flat/f84640e3-00d3-5abd-3f41-e6a19d33c40b@eisentraut.org
pull/144/head
parent
e221c0befb
commit
eb36c6ac84
Loading…
Reference in new issue