Hi Pedro Thanks for fixing this
Regards Raphael Am 11/30/2016 um 5:02 PM schrieb Pedro Giffuni:
Fixed in r1772065. FWIW, I think it was not visible, as in breaking the build, because it was falling back to the sourceforge site. Pedro. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
