mirror of
https://github.com/postgres/postgres.git
synced 2025-05-29 16:21:20 +03:00
This has apparently been wrong since the beginning (090d0f2050647958865cb495dff74af7257d2bb4). Discussion: https://www.postgresql.org/message-id/289c2e45-c7d9-5ce4-7eff-a9e2a33e1580@enterprisedb.com