[RFA-v5] Add scripts to generate ARI web pages to gdb/contrib/ari directory

Pierre Muller pierre.muller@ics-cnrs.unistra.fr
Tue Oct 30 15:16:00 GMT 2012


  Hi all,

  may I consider that, as only two persons replied,
that it is OK to check version 5 in?

Pierre Muller

> -----Message d'origine-----
> De : Sergio Durigan Junior [mailto:sergiodj@redhat.com]
> Envoyé : mardi 23 octobre 2012 19:14
> À : Joel Brobecker
> Cc : Pierre Muller; gdb-patches@sourceware.org
> Objet : Re: [RFA-v5] Add scripts to generate ARI web pages to
> gdb/contrib/ari directory
> 
> On Monday, October 22 2012, Joel Brobecker wrote:
> 
> > But I'm fine with the current version. Let's make progress rather
> > than bikeshedding further :).
> [...]
> > OK for me. I'm not sure if anyone else want to comment before
> > we go ahead?
> 
> FWIW, that's my opinion as well.  The patch has been reviewed many
> times, and it works overall, so I believe it's time to check it in and
> then continue improving it.
> 
> --
> Sergio



More information about the Gdb-patches mailing list