mirror of
https://github.com/postgres/postgres.git
synced 2025-08-15 14:02:29 +03:00
This should have been included in 2e08d314ed
.
Reported-by: Fujii Masao
Discussion: https://postgr.es/m/20200119143707.gyinppnigokesjok@development