czaper2 wrote:I sent a pull request with code changes for the client on github. I'm sure you'll get to it right after that guys pull request from 2015.
Sorry, I don't normally use Github at all, so if you want me to be aware of pull requests, you should probably tell me via some other means (like this). I'll make absolutely sure to apply your patch for a typo in an error message that never actually happens. :)
That being said, pull requests are quite inconvenient for me to apply, since most changes should normally be on the (internal)
core branch rather than directly on the
master branch. I'm not really sure how to get a pull request out of GitHub without having to apply it to the indicated branch.