mirror of
https://github.com/postgres/postgres.git
synced 2025-05-29 16:21:20 +03:00
1db5300015
Reported-by: ap@robillo.net Discussion: https://postgr.es/m/20170208152743.1411.6073@wrigleys.postgresql.org Backpatch-through: master