approved this merge request
enabled an automatic merge when the pipeline for d303ec19 succeeds
merged
mentioned in commit 768f6242