Re: [ARI patch] Fix gawk-4.0 warning

Pedro Alves
2012-03-15T10:19:01Z

On 03/14/2012 09:11 PM, Joel Brobecker wrote:

>> unaware who maintains ARI:
>
> Pierre Muller has been the most active contributor in that area.
> I see him as the de-facto maintainer, or rather "authorized committer".
> These files are not part of the GDB repository, so could be maintained
> a little differently, or we could say they fall under the GMs umbrella,
> or ask Pierre if he wants to be the maintainer....

I thought he already was the maintainer? Did we forget to send an announcement
when it happened? I can't find it...

--
Pedro Alves