approved this merge request
enabled an automatic merge when the pipeline for ebce18c8 succeeds
mentioned in commit 99e7e366
merged