mirror of
https://github.com/postgres/postgres.git
synced 2025-08-31 17:02:12 +03:00
4c4aaa19a6
Reported-by: Koen De Groote Discussion: https://postgr.es/m/171606613152.686.7693963105919927503@wrigleys.postgresql.org Backpatch-through: master