mirror of
https://github.com/postgres/postgres.git
synced 2026-06-01 05:18:58 -04:00
1568fa75bc
Per recommendation from Peter. Neither choice is bulletproof, but this is the existing style and it does help prevent unexpected environment variable substitution.