Closes #8 (closed)
approved this merge request
enabled an automatic merge when the pipeline for 146d3002 succeeds
merged
mentioned in commit ee86645b