mirror of
https://github.com/postgres/postgres.git
synced 2025-06-01 00:01:20 -04:00
d70b95a717
Reported-by: Thomas Munro Discussion: https://postgr.es/m/CA+hUKGKha50-H2ye-9x3PJWU5wBq_MPc2rmVKM1xJ0tL+ntROw@mail.gmail.com