approved this merge request
enabled an automatic merge when the pipeline for 9e2db714 succeeds
merged
mentioned in commit 338462bb