mirror of
https://github.com/postgres/postgres.git
synced 2025-07-18 17:42:25 +03:00
Back-patch of commit bebe174bb4
,
which see for more info.
Patch by me, with some help from Ashutosh Sharma
Discussion: https://postgr.es/m/CANFyU97OVQ3+Mzfmt3MhuUm5NwPU=-FtbNH5Eb7nZL9ua8=rcA@mail.gmail.com