mirror of
https://github.com/postgres/postgres.git
synced 2026-06-13 20:25:58 -04:00
3e6f01fd7d
Revert part of 959ee6d267 .
Backpatch-through: 10