Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Optimize header parsing #513
referenced this pull request
May 18, 2018
Thanks for the pull request and your great work!
Before I merge, please also remove the changes to
.gitignore and remove the zero-byte
Please add them yourself, it will be faster this way.
Nowadays you can do it yourself at merge time by clicking "Squash and merge"!