mirror of
https://github.com/postgres/postgres.git
synced 2025-08-18 12:22:09 +03:00
This reverts commit88cf37d2a8
as well as follow-on commitsea9c4a16d5
andc57562725d
. We've learned about as much as we can from the buildfarm.