mirror of
https://github.com/postgres/postgres.git
synced 2025-11-12 05:01:15 +03:00
* the result is not recorded anywhere * the result is not used anywhere * the result is only used in some places, whereas others have been getting away with it * the result is used improperly Also make command line options handling a little better (e.g., --disable-locale, while redundant, should really still *dis*able).
8.5 KiB
8.5 KiB