Closes #15 (closed)
The changes were merged into master with 89f6dff1
The source branch has been deleted
Closed #15 (closed)
merged
mentioned in commit 89f6dff1
