mirror of
https://github.com/postgres/postgres.git
synced 2025-06-16 06:01:02 +03:00
Back-patch of commit3c163a7fc7
, which see for more info. Also throw in commitb4cc35fbb7
, so Coverity doesn't whine about the back branches. Ashutosh Sharma, some adjustments by me Discussion: https://postgr.es/m/CANFyU97OVQ3+Mzfmt3MhuUm5NwPU=-FtbNH5Eb7nZL9ua8=rcA@mail.gmail.com