approved this merge request
enabled an automatic merge when the pipeline for 37a9b755 succeeds
mentioned in commit ebca4b40
merged