[execution.syn] Fix comment alignment#8821

tkoeppe merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

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