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)

Joel Brobecker
2013-02-14T13:56:30Z

> 2013-02-06 Pierre Muller <muller@sourceware.org>
>
> * contrib/ari/gdb_ari.sh (GNU/Linux rule): Remove.

Based on feedback from Mark, Tom, and myself, I think there is enough
support for me to approve. Please go ahead.

--
Joel