Closes #16
added 2 commits
Compare with previous version
marked this merge request as ready
enabled an automatic merge when the pipeline for bb34ad5a succeeds
mentioned in commit a75e89e1
merged