mirror of
https://github.com/postgres/postgres.git
synced 2025-06-10 09:21:54 +03:00
Reported-by: Jeff Davis Discussion: https://postgr.es/m/92e039f6fabc3567169e95e12b39a04c00f8503b.camel@j-davis.com Backpatch-through: master