On Wed, 28 Feb 2018, KoDDoS Mirror wrote: > We added missing cronjob to update it. It should be updated in > less than 6 hours.
Yep, it did. I just applied the patch below. Thank you for mirroring and letting us know! 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 4 Mar 2018 09:52:45 -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>
