mirror of
https://github.com/postgres/postgres.git
synced 2025-05-30 00:02:11 -04:00
fe8dd65bf2
Reviewed-by: Andres Freund Discussion: https://www.postgresql.org/message-id/54c29fb0-edf2-48ea-9814-44e918bbd6e8@iki.fi