mirror of
https://github.com/postgres/postgres.git
synced 2025-06-01 00:01:20 -04:00
3cab54878d
Issue reported by me and fix by Tom Lane. Discussion: https://postgr.es/m/20181219.080458.1434575730369741406.t-ishii%40sraoss.co.jp