mirror of
https://github.com/postgres/postgres.git
synced 2026-05-30 20:44:54 -04:00
47cacfc0f1
help prevent pg_ctl from getting confused. Backpatch to 9.1.