Closes #602 (closed)
enabled an automatic merge when the pipeline for db0738aa succeeds
merged
mentioned in commit 0886c870