On Thu, Jul 5, 2018 at 6:28 AM, Richard Biener <richard.guent...@gmail.com> wrote: > On Thu, Jul 5, 2018 at 12:13 PM Eric Botcazou <ebotca...@adacore.com> wrote: >> >> > They are definitely useful in my day-to-day work when tracking down changes >> > given I can easily grep them. >> >> Seconded. >> >> > I think that any change here should be _after_ we've switched to git >> > (finally). >> >> Well, git doesn't make anything easier than subversion in this area so... > > I was told there's git grep which may be used to grep commit logs?
svn log | grep ?
