Closed davidparsson closed 9 years ago
Is pull request #108 lost? It seems to be merged, but I'm unable to find the changes in the source tree.
I've realized that #108 does not fully solve my problems, so I'm closing this issue, leaving my comment on the original pull request.
Is pull request #108 lost? It seems to be merged, but I'm unable to find the changes in the source tree.