Closes #201 (closed)
enabled an automatic merge when the pipeline for 8a321d4a succeeds
mentioned in commit 82034f11
merged