Closes #41 (closed)
enabled an automatic merge when the pipeline for cc1cedc4 succeeds
merged
mentioned in commit 274ed16d
changed the description