Closed ericvalcik closed 3 years ago
This should fix #89.
This PR is now obsolete, is it so?
Since Pavel introduced a new system for mapping, I believe it is.
OK, closing.
This should fix #89.