mirror of
https://github.com/postgres/postgres.git
synced 2026-10-23 13:29:09 +03:00
e1a76db1a8
Reported-by: Agustín Discussion: https://postgr.es/m/172609721070.1128084.6724666076293146476@wrigleys.postgresql.org Backpatch-through: master