Re: [RFC] Remove ARI GNU/Linux rule (was: New ARI warning Tue Feb 5 02:01:10 UTC 2013 in -D 2013-02-05-gmt)

Eli Zaretskii
2013-02-06T19:39:50Z

> Date: Wed, 6 Feb 2013 11:19:33 -0800
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: Pierre Muller <pierre.muller@ics-cnrs.unistra.fr>, sergiodj@redhat.com,
> gdb-patches@sourceware.org
>
> > Aren't we throwing away the baby together with the bath water?
> > What text was flagged by these rules that we think is kosher? Can we
> > modify these rules such that they don't flag such kosher phrases?
>
> I think we're spending way too much time on this compared to
> its relative importance...

Maybe so, but this argument goes both ways...