Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Correct error type number matches #5566
Fixed as was specified in the issue.
Specific Changes proposed
Changes as specified.
Things that will help get your PR across the finish line:
We get a lot of pull requests on this repo, so please be patient and we will get back to you as soon as we can.