mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-07 09:47:37 +08:00
This reverts commit b82a7be603f1811a0a707b53c62de6d5d9431740. There is a better (less invasive) way to fix it, which I will commit next.