mirror of
https://github.com/postgres/postgres.git
synced 2025-05-06 19:59:18 +03:00
Reported-by: Yugo NAGATA Discussion: https://postgr.es/m/20210713115949.702986955f8ccf23fa81073c@sraoss.co.jp Backpatch-through: 12-16, master already done