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
fixes issue #667 #678
@@ Coverage Diff @@ ## master #678 +/- ## ========================================== - Coverage 86.71% 86.63% -0.08% ========================================== Files 16 16 Lines 1746 1736 -10 ========================================== - Hits 1514 1504 -10 Misses 232 232
I agree with the other review comments here, please make the updates.
Also, please back-out your changes to
Then you can commit and push that to this branch, and it won't include this file. It's not related to your changes, so doesn't belong in this PR.