mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-08 14:27:37 +08:00
Back-patch of commits 628cbb50ba80c83917b07a7609ddec12cda172d0 and c6aae3042be5249e672b731ebeb21875b5343010. This has been broken since 7.3, so back-patch to all supported branches.