Closes #21 (closed)
enabled an automatic merge when the pipeline for 615fc26a succeeds
mentioned in commit 395a42a7
merged