Closes #113 (closed)
enabled an automatic merge when the pipeline for 8e53f52c succeeds
mentioned in commit af929419
merged