mirror of
https://github.com/postgres/postgres.git
synced 2025-07-12 21:01:52 +03:00
Some buildfarm animals are still unhappy. These changes are becoming too invasive for backpatch, for little benefit. This reverts commits080c4dab3d
andce0da62610
.