enabled an automatic merge when the pipeline for 05199f9c succeeds
approved this merge request
merged
mentioned in commit 526e8f8f