mirror of
https://github.com/postgres/postgres.git
synced 2026-06-04 14:55:34 -04:00
1b5cffacdf
Needed to keep pg_dump from getting confused.
Needed to keep pg_dump from getting confused.