mirror of
https://github.com/postgres/postgres.git
synced 2026-05-29 12:06:09 -04:00
fd7ed26c1a
Oversight in commit cb3384a0cb.
Back-patch to 9.1, like that commit.