Closes #136 (closed)
enabled an automatic merge when the pipeline for 8ce87d0b succeeds
mentioned in commit 7e861cce
merged