[Holger Levsen] > whats the point of this mirror in 2017? it was useful years ago, but > AFAICS it's only causing pointless work and breakage today. Ah, I thought it was well known that it is used to build the ISOs. Is ISO building working without a local mirror these days? -- Happy hacking Petter Reinholdtsen