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