mirror of
https://github.com/postgres/postgres.git
synced 2025-04-24 10:47:04 +03:00
b4deefc39b
Reported-By: Peter Eisentraut Backpatch-through: 14 Discussion: https://postgr.es/m/8f5e63b8-e8ed-0f80-d8c4-68222624c200@enterprisedb.com