approved this merge request
enabled an automatic merge when the pipeline for cc5c853d succeeds
merged
mentioned in commit 3014bdaf