* 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
* 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