mirror of
https://github.com/postgres/postgres.git
synced 2026-06-06 07:42:52 -04:00
1a9388bd0f
Reported-by: Alexander Lakhin Discussion: https://postgr.es/m/16486-b9c93d71c02c4907@postgresql.org Backpatch-through: 9.5