approved this merge request
enabled an automatic merge when the pipeline for 87cf0ae0 succeeds
mentioned in commit b9129318
merged