Closes #1 (closed)
enabled an automatic merge when the pipeline for 34d48c2b succeeds
mentioned in commit a8b0213f
merged