Hi Martin, On Mon, 6 Nov 2017, KoDDoS Mirror wrote: > The mirror is setup. Here is a patch as I do not have write access to > push it.
I was just going to commit the following patch (sorry for the delay), alas noticed your mirror does not seem to, umm, mirror? The expectation is that you'll mirror additions/deletions on a regular base (ideally no less than daily). Are you planning to put that in place? Gerald Index: mirrors.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v retrieving revision 1.246 diff -u -r1.246 mirrors.html --- mirrors.html 22 Oct 2017 11:46:12 -0000 1.246 +++ mirrors.html 26 Feb 2018 21:16:57 -0000 @@ -40,6 +40,10 @@ <a href="ftp://nl.mirror.babylon.network/gcc/";>ftp://nl.mirror.babylon.network/gcc/</a> | <a href="rsync://nl.mirror.babylon.network/gcc/">rsync://nl.mirror.babylon.network/gcc/</a>, thanks to Tim Semeijn (noc@babylon.network) at Babylon Network.</li> +<li>The Netherlands, Dronten: + <a href="http://mirror.koddos.net/gcc/";>http://mirror.koddos.net/gcc/</a> | + <a href="rsync://mirror.koddos.net/gcc/">rsync://mirror.koddos.net/gcc/</a>, + thanks to Martin (mir...@koddos.net) at KoDDoS.</li> <li>The Netherlands, Nijmegen: <a href="ftp://ftp.nluug.nl/mirror/languages/gcc";>ftp.nluug.nl</a>, thanks to Jan Cristiaan van Winkel (jc at ATComputing.nl)</li> <li>Russia, Novosibirsk: <a href="http://mirror.linux-ia64.org/gnu/gcc/";>http://mirror.linux-ia64.org/gnu/gcc/</a>, thanks to Daniel Volchixin <dan...@volchixin.co.uk></li> <li>Slovakia, Bratislava: <a href="http://gcc.fyxm.net/";>gcc.fyxm.net</a>, thanks to Jan Teluch (admin at 2600.sk)</li>
