approved this merge request
enabled an automatic merge when the pipeline for 5db0c9a5 succeeds
merged
mentioned in commit fc6160ff