Closes #3 (closed)
enabled an automatic merge when the pipeline for c93fbfbf succeeds
mentioned in commit 2ec69ba0
merged