mirror of
https://github.com/postgres/postgres.git
synced 2025-11-18 02:02:55 +03:00
81fc3e28e3
As commit d4d1fc527b.
Reviewed-by: Peter Eisentraut <peter@eisentraut.org>
Discussion: https://postgr.es/m/202509191025.22agk3fvpilc@alvherre.pgsql