mirror of
https://github.com/postgres/postgres.git
synced 2026-05-20 07:33:33 -04:00
727cf6f6d3
Reported-by: Michael Paquier Discussion: https://postgr.es/m/ZZKTDPxBBMt3C0J9@paquier.xyz Backpatch-through: 12