Closes #87 (closed)
enabled an automatic merge when the pipeline for 6a6347fc succeeds
merged
mentioned in commit 5d8d9542