Closed hzeller closed 5 years ago
This pull request
This is essentially like pull request #31 that cleanly merges with current head.
This pull request