Closes #18 (closed)
enabled an automatic merge when the pipeline for ac3afe6a succeeds
canceled the automatic merge
merged
mentioned in commit 442b4982
approved this merge request