[rand.synopsis] Fix indentation#9005

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

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