mirror of
https://github.com/postgres/postgres.git
synced 2025-12-09 02:08:45 +03:00
Some buildfarm animals are still unhappy. These changes are becoming too invasive for backpatch, for little benefit. This reverts commits080c4dab3dandce0da62610.