mirror of
https://github.com/postgres/postgres.git
synced 2026-10-23 13:29:09 +03:00
8974a7c433
Reported-by: John Naylor Discussion: https://postgr.es/m/CANWCAZZWfdoMcemSaTMon+e6aCkSABN3+sco0aStC90cFPVE4A@mail.gmail.com