Closes #95 (closed)
enabled an automatic merge when the pipeline for 385d6236 succeeds
mentioned in commit 4de4e43d
merged