approved this merge request
enabled an automatic merge when the pipeline for 89db66bd succeeds
merged
mentioned in commit 1e5d3156