mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-24 15:26:59 +08:00
This makes the header more consistent with the surroundings, with declarations associated to a given file grouped together. Author: Daniel Gustafsson Discussion: https://postgr.es/m/20190608012439.GB7228@paquier.xyz