On Sun, Jul 07, 2013 at 07:58:00PM +0200, Thomas Klausner wrote: > > I uploaded all missing distfiles to nbftp, so they won't notice. > Thomas What about for moving forward though? Are we going to mirror all their distfiles or make FETCH_CMD=[wget|curl] ?