mirror of
https://github.com/postgres/postgres.git
synced 2025-05-06 19:59:18 +03:00
817bb0a7d1
Reported-by: Tom Lane Discussion: https://postgr.es/m/CAPpHfdvcnw3x7jdV3r52p4%3D5S4WUxBCzcQKB3JukQHoicv1LSQ%40mail.gmail.com