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