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
Minor counsel grep tweaks #1290
The rest of the changes are mostly formatting and logic simplifications (I'll be more than happy to revert any such "simplifications" which come across as style changes). Please see the commit messages for further details.