mirror of
https://github.com/postgres/postgres.git
synced 2025-11-15 00:04:08 -05:00
be2e024bd6
Reported-by: Robert Haas Discussion: https://postgr.es/m/CA+TgmoY==TZwk-4cM3Usebq1f=j7Hpm1brFbk1v48h45wsWzzg@mail.gmail.com