mirror of
https://github.com/postgres/postgres.git
synced 2026-06-01 21:39:18 -04:00
7730ceb43f
Reported-by: Peter Eisentraut <peter.eisentraut@enterprisedb.com> Discussion: https://postgr.es/m/3fc3bb9b-f7f8-d442-35c1-ec82280c564a@enterprisedb.com