Create a new mirror

[KoDDoS Mirror]

Hello Gerald,

We added missing cronjob to update it. It should be updated in less than 
6 hours.

Regards
Martin

> 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 (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>