mirror of
https://github.com/postgres/postgres.git
synced 2026-06-08 08:34:03 -04:00
1e0512ff23
Reported-by: Antonin Houska Discussion: https://postgr.es/m/21643.1595353537@antos Backpatch-through: 9.5