Closes #152 (closed)
enabled an automatic merge when the pipeline for 7ffa9ddd succeeds
mentioned in commit 15ee3857
merged