mirror of
https://github.com/postgres/postgres.git
synced 2025-08-30 06:01:21 +03:00
This reverts commit 60838df922
.
That change needs a bit more thought to be workable. In view of
the potentially machine-dependent stuff that went in today,
we need all of the buildfarm to be testing those other changes.