mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 13:47:37 +08:00
Overlooked in commit f13ea95f9. Noted by Nick Barnes. Discussion: https://postgr.es/m/20180123093723.7407.3386@wrigleys.postgresql.org