Closed davidchambers closed 8 years ago
looks right!
it is also ok to just file an issue with a pointer to the details and I can make the page for you too, but of course a PR saves me that work.
Thanks @davidchambers , @puredanger ! I'm going to merge this PR. Then, will add the way to create an issue.
Is this the correct process, @puredanger?