mirror of
https://github.com/postgres/postgres.git
synced 2025-05-06 19:59:18 +03:00
591fb289c3
Per bug #15819 from Koizumi Satoru. Discussion: https://postgr.es/m/15819-e6191bef1f7334c0@postgresql.org