approved this merge request
enabled an automatic merge when the pipeline for 90dd98e9 succeeds
merged
mentioned in commit 4ab0b3a2