Closes #154 (closed)
enabled an automatic merge when the pipeline for e8583bf7 succeeds
mentioned in commit 8dc5eea5
merged