mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-10 16:37:38 +08:00
f112f175a4
Reported by: Tim Goodaire Discussion: https://postgr.es/m/20170601182230.1487.26008@wrigleys.postgresql.org