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