Closed ecatmur closed 8 months ago
I have implemented the proposed fix, so I don't think the PR is necessary any longer.
I haven't used your PR, because it would have likely created a merge conflict. Sorry about that, but thank you for your contribution. It is very appreciated!
fixes #16