[exec.counting.scopes.general] Fix typo#8193

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

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