mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-10 09:47:33 +08:00
1db5300015
Reported-by: ap@robillo.net Discussion: https://postgr.es/m/20170208152743.1411.6073@wrigleys.postgresql.org Backpatch-through: master