Re: gnulib maintainer housekeeping

[Paul Eggert]

On 12/23/2012 12:01 PM, Paolo Bonzini wrote:

None of these have seen a huge amount of work, but I can still follow
the development and approve patches.

OK, then we should leave the module maintainer list
unchanged.  Thanks.