approved this merge request
enabled an automatic merge when the pipeline for 2f6865b7 succeeds
merged
mentioned in commit 648eed24