mirror of
https://github.com/postgres/postgres.git
synced 2026-06-10 17:40:12 -04:00
4e89c79a52
Cosmetic cleanup, not worth backpatching. Discussion: https://postgr.es/m/20200129200401.GA6303@alvherre.pgsql Reviewed-by: Tom Lane, Michael Paquier