mirror of
https://github.com/postgres/postgres.git
synced 2025-08-11 04:22:52 +03:00
I added some more functionality to it in 0ac5ad5134
but neglected to
add it to the docs.
Per Peter Eisentraut in message
1367112171.32604.4.camel@vanquo.pezone.net