[optional.syn] Fix indentation#9018

jensmaurer merged 1 commit into

cplusplus:maincplusplus/draft:mainfrom

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