Closes #81 (closed)
enabled an automatic merge when the pipeline for c679ced9 succeeds
mentioned in commit 8046699f
merged