Closes #19 (closed)
enabled an automatic merge when the pipeline for 382be8c7 succeeds
canceled the automatic merge
mentioned in commit 31d1da2c
merged
removed milestone