Closed avacariu closed 9 years ago
Fixes #158
Don't merge yet. I found an unexpected issue. Will be fixed in next commit to this branch.
The issue is now fully fixed.
Fixes #158