mirror of
https://github.com/postgres/postgres.git
synced 2026-05-31 12:58:58 -04:00
bf25fb2f93
Backpatch to 9.3, where it was initially omitted. Craig Ringer, with minor adjustment by Kevin Grittner