Create a new mirror

[KoDDoS Mirror]

Hello Gerald,

The mirror is setup. Here is a patch as I do not have write access to 
push it.

RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v
retrieving revision 1.246
diff -r1.246 mirrors.html
42a43,46
 > <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 at koddos.net) at KoDDoS.</li>

Regards,
Martin

> Hi Martin,
>
> On Tue, 31 Oct 2017, KoDDoS Mirror wrote:
>> We would like to create a new mirror for GCC in Dronten, Netherlands.
>>
>> Can you let us know how to process?
> you can just ahead, and let us know (ideally with a patch against
> http://gcc.gnu.org/mirrors.html ); that's all then. :-)
>
> Cheers,
> Gerald