mirror of
https://github.com/postgres/postgres.git
synced 2025-12-24 06:01:07 +03:00
Reported-by: Jeff Davis Discussion: https://postgr.es/m/32a9b8357e8e29b04f395f92c53b64e015a4caf1.camel@j-davis.com Author: Jeff Davis, adjustments by me Backpatch-through: 16