mirror of
https://github.com/postgres/postgres.git
synced 2026-01-05 23:38:41 +03:00
987ab19ec9
Erroneously introduced by 571df93cff.
Reviewed-by: Daniel Gustafsson <daniel@yesql.se>
Discussion: https://www.postgresql.org/message-id/flat/8458c9c5-18f1-46d7-94c4-1c30e4f44908%40eisentraut.org