[wwwdocs] PATCH for Re: Please remove mirror2.babylon.network

[Gerald Pfeifer]

On Sun, 28 Feb 2016, NOC wrote:
> Due to reorganization of the mirror servers we will be taking the
> following mirror offline. Could you please remove it from the list?
> 
> http://mirror2.babylon.network/gcc/ | ftp://mirror2.babylon.network/gcc/
> | rsync://mirror2.babylon.network/gcc/

Thank you for letting us know.  I really appreciate the heads-up
and updated our mirrors list as follows.

Gerald

Index: mirrors.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v
retrieving revision 1.233
diff -u -r1.233 mirrors.html
--- mirrors.html	24 Oct 2015 23:22:54 -0000	1.233
+++ mirrors.html	28 Feb 2016 20:57:50 -0000
@@ -38,11 +38,6 @@
 <li>Hungary, Budapest: <a href="http://robotlab.itk.ppke.hu/gcc/">robotlab.itk.ppke.hu</a>, thanks to Adam Rak (neurhlp at gmail.com)</li>
 <li>Japan: <a href="ftp://ftp.dti.ad.jp/pub/lang/gcc/">ftp.dti.ad.jp</a>, thanks to IWAIZAKO Takahiro (ftp-admin at dti.ad.jp)</li>
 <li>Japan: <a href="http://ftp.tsukuba.wide.ad.jp/software/gcc/">ftp.tsukuba.wide.ad.jp</a>, thanks to Kohei Takahashi (tsukuba-ftp-servers at tsukuba.wide.ad.jp)</li>
-<li>The Netherlands, Amsterdam:
-  <a href="http://mirror2.babylon.network/gcc/">http://mirror2.babylon.network/gcc/</a> |
-  <a href="ftp://mirror2.babylon.network/gcc/">ftp://mirror2.babylon.network/gcc/</a> |
-  <a href="rsync://mirror2.babylon.network/gcc/">rsync://mirror2.babylon.network/gcc/</a>,
-  thanks to Tim Semeijn (noc@babylon.network) at Babylon Network.</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>Slovakia, Bratislava: <a href="http://gcc.fyxm.net/">gcc.fyxm.net</a>, thanks to Jan Teluch (admin at 2600.sk)</li>
 <li>UK: <a href="ftp://ftp.mirrorservice.org/sites/sourceware.org/pub/gcc/">ftp://ftp.mirrorservice.org/sites/sourceware.org/pub/gcc/</a>, thanks to mirror at mirrorservice.org</li>