approved this merge request
enabled an automatic merge when the pipeline for 3a12b3ff succeeds
merged
mentioned in commit 51d6c9e7