[wwwdocs] PATCH for Re: Create a new mirror

[Gerald Pfeifer]

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 (mirror@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 <daniel@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>