mirror of
https://github.com/postgres/postgres.git
synced 2025-06-04 00:02:37 -04:00
Reported-by: Peter Eisentraut Discussion: https://postgr.es/m/8315c0ca-7758-8823-fcb6-f37f9413e6b6@2ndquadrant.com Backpatch-through: master