[facet.num.get.virtuals] Minor formatting fixes#7545

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

Andreas-Krug:patch-59Andreas-Krug/draft:patch-59Copy head branch name to clipboard