mirror of
https://github.com/postgres/postgres.git
synced 2025-07-21 16:02:15 +03:00
revert of change from commit 641a5b7a14
Reported-by: Peter Eisentraut
Discussion: https://postgr.es/m/2c5dd601-b245-4092-9c27-6d1ad51609df@eisentraut.org
Backpatch-through: master