mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-07 03:57:29 +08:00
987ab19ec9
Erroneously introduced by 571df93cff8. Reviewed-by: Daniel Gustafsson <daniel@yesql.se> Discussion: https://www.postgresql.org/message-id/flat/8458c9c5-18f1-46d7-94c4-1c30e4f44908%40eisentraut.org