pr: use 72 char line width for all page headers#10059

sylvestre merged 1 commit intouutils:mainuutils/coreutils:mainfrom

jfinkels:pr-header-spacingjfinkels/coreutils:pr-header-spacingCopy head branch name to clipboard