Closes #16 (closed)
enabled an automatic merge when the pipeline for e543c7e8 succeeds
mentioned in commit 4c4ae5ba
merged