mirror of
https://github.com/postgres/postgres.git
synced 2026-05-15 05:07:48 -04:00
a499f79fd0
Reported-by: jian he Discussion: https://postgr.es/m/ZuYsS5XdA7hVcV9l@momjian.us Backpatch-through: 12