approved this merge request
enabled an automatic merge when the pipeline for d715e097 succeeds
merged
mentioned in commit b6878e2c