approved this merge request
enabled an automatic merge when the pipeline for aef3e907 succeeds
canceled the automatic merge
merged
mentioned in commit da8a758d