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

Sergio Durigan Junior
2012-10-23T17:13:52Z

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