Closes #120 (closed)
assigned to @bodin
requested review from @demariaa
added 2 commits
Compare with previous version
approved this merge request
merged
mentioned in commit 764cc483