[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-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