approved this merge request
enabled an automatic merge when the pipeline for 79ffceff succeeds
merged
mentioned in commit 6345be3e