Closes: #12 (closed)
enabled an automatic merge when the pipeline for 66af8250 succeeds
mentioned in commit f47b75fa
merged