approved this merge request
enabled an automatic merge when the pipeline for f71d6750 succeeds
merged
mentioned in commit 7b614b29