Closed jhegeman closed 4 years ago
Hi,
I think we still want this one too, right?
Cheers, Jeroen
Thanks! Yes we do still want this change, but in the end I included the commit from this pull request with other similar changes in pull request #149 , which I just merged into the master
branch.
So, since the commit from this pull request was merged in as part of PR #149, I'll close this PR.
Please try this one.