mirror of
https://github.com/postgres/postgres.git
synced 2025-12-31 00:03:29 -05:00
I also thank Bernd Helmle for the documentation help on the previous settings patch, which I forgot on the commit message.
I also thank Bernd Helmle for the documentation help on the previous settings patch, which I forgot on the commit message.