mirror of
https://github.com/postgres/postgres.git
synced 2026-10-31 05:54:36 +03:00
4075409de0
This will make this job run a bit faster. Co-authored-by: Andres Freund <andres@anarazel.de> Reviewed-by: Nazir Bilal Yavuz <byavuz81@gmail.com> Discussion: https://www.postgresql.org/message-id/flat/e52e2c29-4834-4c64-a200-eddcba38fb4d%40eisentraut.org