On Tue, Sep 05, 2017 at 06:51:30AM +0800, Paul Goyette wrote: > With the recent update, I don't seem able to fetch the distfiles... That's easy to explain, I forgot uploading them. Done now, thanks for the reminder! Thomas