Re: Gnulib homepage and CVS mirror

[Stefano Lattarini]

On 05/04/2013 08:32 PM, Paul Eggert wrote:
> That looks OK; please apply.  And thanks.
>
Pushed, thank you.

Best regards,
  Stefano