mirror of
https://github.com/postgres/postgres.git
synced 2025-12-08 00:03:14 -05:00
1b5a00450a
Reported-by: hape <postgres-hape@gmx.de> Discussion: https://postgr.es/m/168871536004.379168.9352636188330923805@wrigleys.postgresql.org Backpatch-through: 11