Closed DGollings closed 4 years ago
Closing this, duplicate of #163
isn't a duplicate, used the github gui and it generated two PRs, I'll the diff to the other on
They seem to address the same, and you addressed my comments in the other PR (and maybe here, in a different way, too). Should I close the other one and open this one, then? Or am I missing something?
Attempts to mitigate issue #159