On Sep 26, 2017, at 10:42, Marius Schamschula wrote:

> I can’t test the updated Portfile as Sourceforge is down.

Oh great! Well I've mirrored the distfile on our servers; it should be visible 
publicly within the hour.


Reply via email to