Closes #13 (closed)
assigned to @anthony
approved this merge request
mentioned in commit 5d07f423
merged