mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-09 06:57:30 +08:00
b4deefc39b
Reported-By: Peter Eisentraut Backpatch-through: 14 Discussion: https://postgr.es/m/8f5e63b8-e8ed-0f80-d8c4-68222624c200@enterprisedb.com