approved this merge request
enabled an automatic merge when the pipeline for 03d413e0 succeeds
merged
mentioned in commit 33457313