gitlab: Reduce size of template headings

Authored by bgamari on Jul 2 2019, 8:53 AM.

Description

gitlab: Reduce size of template headings

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jul 4 2019, 8:22 PM
Parents
rGHCd7f7e1ed6eb0: Make printer untag when chasing a pointer in a RET_FUN frame
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC675d27fc241c: gitlab: Reduce size of template headings (authored by bgamari).Jul 4 2019, 8:22 PM