Closed gambhiro closed 3 years ago
fix #47
Thanks, that's a very elegant fix!
I'm closing this pull request instead of merging it because I've made some other changes in the meantime and changing it by hand was quicker.
fix #47