enabled an automatic merge when the pipeline for 3aa0c0dd succeeds
approved this merge request
mentioned in commit 7897740a
merged