Include style & metric in header line#161

carpalsgrabby wants to merge 1 commit intomaincarpalsgrabby/state_commitment_layout:mainfrom

carpalsgrabby-patch-50carpalsgrabby/state_commitment_layout:carpalsgrabby-patch-50Copy head branch name to clipboard