Closed mentalisttraceur closed 11 months ago
Turns out that deleting the fork on my account closes the PR too - GitHub didn't used to do that.
Well, when someone's ready to do anything with this PR, please let me know and I'm happy to re-create it. Or feel free to just copy-paste the change and commit it yourself - I don't need credit.
Fixes #1226.