[optional.optional.ref.general] Fix indentation#8104

Andreas-Krug wants to merge 1 commit intocplusplus:maincplusplus/draft:mainfrom

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