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

Andreas-Krug wants to merge 1 commit into

cplusplus:maincplusplus/draft:mainfrom

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