* Gary V. Vaughan wrote on Tue, Sep 21, 2010 at 08:44:41AM CEST:
> With those addressed, and another successful distcheck, okay to push?

Sure.

Thanks,
Ralf

Reply via email to