mirror of
https://github.com/postgres/postgres.git
synced 2026-05-31 21:09:00 -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.