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? Richard. > -- > Eric Botcazou
