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


Reply via email to