Merge pull request #5199 from jimfb/number-found
Print number of matches (previously unclear if zero or multiple)
Jim committed
Oct 16, 2015 at 13:00 UTC
98c96b64605b8652ad813c81403370ef573f00f3
No changes.
Print number of matches (previously unclear if zero or multiple)
No changes.