mirror of
https://github.com/postgres/postgres.git
synced 2025-08-28 18:48:04 +03:00
Server versions for which there was a plausible reason to use this switch are all out of support now. Leaving it around would accomplish little except to let careless DBAs shoot themselves in the foot. Discussion: https://postgr.es/m/556122.1639520324@sss.pgh.pa.us