Closed aviau closed 10 years ago
I will recreate the PR.
I think you can rebase the commit and force-push, and the PR is updated with the new change. But that works too :)
The change is so small I did it with the Github UI.
I will recreate the PR.