approved this merge request
enabled an automatic merge when the pipeline for aaa9f8f9 succeeds
mentioned in commit 8112cf42
merged