approved this merge request
enabled an automatic merge when the pipeline for 8fd7d148 succeeds
merged
mentioned in commit 3036281d