Hi Martin, On Tue, 31 Oct 2017, KoDDoS Mirror wrote: > We would like to create a new mirror for GCC in Dronten, Netherlands. > > Can you let us know how to process?
you can just ahead, and let us know (ideally with a patch against http://gcc.gnu.org/mirrors.html ); that's all then. :-) Cheers, Gerald