Please consider the following formatting changes to #15024#135

alibuild wants to merge 1 commit intodavidrohr:PRdavidrohr/AliceO2:PRfrom

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