Closed rbdietz closed 7 years ago
@rbdietz I have this same change in pull request #64; need to get someone to merge these PRs. I think the owner is abroad for a few weeks.
Sorry for the delay. The original request has been merged, so I'll close this one out.
@rbdietz I have this same change in pull request #64; need to get someone to merge these PRs. I think the owner is abroad for a few weeks.