mirror of
https://github.com/postgres/postgres.git
synced 2025-07-18 17:42:25 +03:00
922d1a27e9
Reported-by: David Rowley Discussion: https://postgr.es/m/CAApHDvrToHFvL-W03vSi6T50uScyhrdUGzTtcuLAjdjtRF8FLA@mail.gmail.com