Closes #732
enabled an automatic merge when the pipeline for c3ae8b9e succeeds
mentioned in commit 82701ffa
merged