mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-03-30 15:48:24 +08:00
This reverts commit 76c111a7f166; should have been included in 9ce04b50e120. Noted by Joe Conway
This reverts commit 76c111a7f166; should have been included in 9ce04b50e120. Noted by Joe Conway