Fix annoying Formatting fails on PR synchronization#98

schewskone wants to merge 1 commit intosensorium-competition:mainsensorium-competition/experanto:mainfrom

schewskone:fix_automated_formattingschewskone/experanto:fix_automated_formattingCopy head branch name to clipboard