[exec.stopped.opt,exec.stopped.err] Fix indentation#7897

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

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