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)

Pierre Muller
2013-02-14T21:09:40Z

> -----Message d'origine-----
> De : gdb-patches-owner@sourceware.org [mailto:gdb-patches-
> owner@sourceware.org] De la part de Joel Brobecker
> Envoyé : jeudi 14 février 2013 14:56
> À : Pierre Muller
> Cc : 'Sergio Durigan Junior'; gdb-patches@sourceware.org
> Objet : 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)
>
> > 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.

Thanks for the approval,

patch committed.

Pierre Muller
as ARI maintainer