Closed ryuichis closed 6 years ago
Fixes #58.
I am merging this one despite of the build failure, which due to crash from the lint tool, which depends on this pull request.
Fixes #58.