mirror of
https://github.com/postgres/postgres.git
synced 2025-11-28 11:44:57 +03:00
Reported-by: Erik Rijkers <er@xs4all.nl> Reviewed-by: Chao Li <li.evan.chao@gmail.com> Discussion: https://postgr.es/m/7596672c-43e8-a030-0850-2dd09af98cac@xs4all.nl