[wwwdocs] PATCH for Re: Create a new mirror

[KoDDoS Mirror]

Hello, Gerald,

I created a new mirror in Hong Kong. Can you add it too?

+<li>Hong Kong:
+Â  <a href="http://mirror-hk.koddos.net/gcc/">http://mirror-hk.koddos.net/gcc/</a> |
+Â  <a href="rsync://mirror-hk.koddos.net/gcc/">rsync://mirror-hk.koddos.net/gcc/</a>,
+Â  thanks to Martin (mirror@koddos.net) at KoDDoS.</li>

Regards,
Martin

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