mirror of
https://github.com/postgres/postgres.git
synced 2025-06-01 00:01:20 -04:00
222b697ec0
Reviewed-by: Gilles Darold <gilles@darold.net> Discussion: https://www.postgresql.org/message-id/b7988566-daa2-80ed-2fdc-6f6630462d26@enterprisedb.com