mirror of
https://github.com/postgres/postgres.git
synced 2026-06-13 04:03:09 -04:00
32fe7ee2dd
Reported-by: Thomas Munro Discussion: https://postgr.es/m/CA+hUKGJpep8uSXoDtVF6iROCRKce-39HEhDPUaYFyMn0U5e9ug@mail.gmail.com