enabled an automatic merge when the pipeline for d8edda83 succeeds
approved this merge request
merged
mentioned in commit 670ce691