approved this merge request
enabled an automatic merge when the pipeline for 88b80914 succeeds
merged
mentioned in commit 37cf6166