mirror of
https://github.com/postgres/postgres.git
synced 2025-10-28 11:55:03 +03:00
d61f5bb7c4
Reported-by: Zhou Digoal Discussion: https://postgr.es/m/20170912133722.25637.91@wrigleys.postgresql.org Backpatch-through: 10