[diff.basic] Fix underfull hbox#8012

tkoeppe merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

AlisdairM:diff_basic_underfull_hboxAlisdairM/draft:diff_basic_underfull_hboxCopy head branch name to clipboard