mirror of
https://github.com/postgres/postgres.git
synced 2026-06-06 07:42:52 -04:00
d61f5bb7c4
Reported-by: Zhou Digoal Discussion: https://postgr.es/m/20170912133722.25637.91@wrigleys.postgresql.org Backpatch-through: 10