mirror of
https://github.com/postgres/postgres.git
synced 2025-08-27 07:42:10 +03:00
286eea5d3a
Some options were listed in an order that was inconsistent with the --help output and everything else.