mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-10 07:27:39 +08:00
This should have been included in 2e08d314ed. Reported-by: Fujii Masao Discussion: https://postgr.es/m/20200119143707.gyinppnigokesjok@development