mirror of
https://github.com/postgres/postgres.git
synced 2025-10-16 00:04:15 -04:00
c9707d9413
Overlooked in commit f13ea95f9. Noted by Nick Barnes. Discussion: https://postgr.es/m/20180123093723.7407.3386@wrigleys.postgresql.org