Please consider the following formatting changes to #15951 - #145

Please consider the following formatting changes to #15951#145

alibuild wants to merge 7 commits into

davidrohr:PRdavidrohr/AliceO2:PRfrom

alibuild:alibot-cleanup-15951alibuild/AliceO2:alibot-cleanup-15951Copy head branch name to clipboard