Please consider the following formatting changes to #9135#18

ljoergen merged 1 commit intoljoergen:minor-adjustmentsljoergen/O2Physics:minor-adjustmentsfrom

alibuild:alibot-cleanup-9135alibuild/O2Physics:alibot-cleanup-9135Copy head branch name to clipboard