Closes #68 (closed)
enabled an automatic merge when the pipeline for 4edda694 succeeds
merged
mentioned in commit d1a7b82b