mirror of
https://github.com/postgres/postgres.git
synced 2025-10-22 14:32:25 +03:00
This reverts commits2f932f71d9
,16ee6eaf80
and6f0e190056
. The buildfarm has revealed several bugs. Back-patch like the original commits. Discussion: https://postgr.es/m/20190404145319.GA1720877@rfd.leadboat.com