mirror of https://github.com/postgres/postgres
This is similar topull/240/head19c6e92b13, in order to keep the style used in the scripts consistent for the option names and values used in commands. The places updated in this commit have been added recently in71ea0d6795. These changes are cosmetic; there is no need for a backpatch.
parent
b5d87a823f
commit
e8eb98754b
Loading…
Reference in new issue