[wwwdocs] PATCH for Re: Confirmation Mirror Changes

[Gerald Pfeifer <gerald at pfeifer dot com>]

On Fri, 17 Apr 2015, Tim Semeijn wrote:
> We have changed our company name, hostnames and contact information.
> Please remove the current BBLN mirror (mirror.bbln.org) and replace it
> with our three new ones:

The patch below implements those changes:

 - Replace mirror.bbln.org by mirror1.babylon.network.
 - Add mirror0.babylon.network, France, Gravelines.
 - Add mirror2.babylon.network, The Netherlands, Amsterdam.

Applied.

If you have any further changes, suggestion a patch against
https://gcc.gnu.org/mirrors.html would be great.

Gerald

Index: mirrors.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v
retrieving revision 1.229
diff -u -r1.229 mirrors.html
--- mirrors.html	7 Apr 2015 18:17:46 -0000	1.229
+++ mirrors.html	23 Apr 2015 21:39:08 -0000
@@ -19,11 +19,16 @@
 <li>Canada: <a href="http://gcc.skazkaforyou.com";>http://gcc.skazkaforyou.com</a>, thanks to Sergey Ivanov (mirrors at skazkaforyou.com)</li>
 <li>France (no snapshots): <a href="ftp://ftp.lip6.fr/pub/gcc/";>ftp.lip6.fr</a>, thanks to ftpmaint at lip6.fr</li>
 <li>France, Brittany: <a href="ftp://ftp.irisa.fr/pub/mirrors/gcc.gnu.org/gcc/";>ftp.irisa.fr</a>, thanks to ftpmaint at irisa.fr</li>
+<li>France, Gravelines:
+  <a href="http://mirror0.babylon.network/gcc/";>http://mirror0.babylon.network/gcc/</a> |
+  <a href="ftp://mirror0.babylon.network/gcc/";>ftp://mirror0.babylon.network/gcc/</a> |
+  <a href="rsync://mirror0.babylon.network/gcc/">rsync://mirror0.babylon.network/gcc/</a>,
+  thanks to Tim Semeijn (noc@babylon.network) at Babylon Network.</li>
 <li>France, Roubaix:
-  <a href="http://mirror.bbln.org/gcc/";>http://mirror.bbln.org/gcc/</a> |
-  <a href="ftp://mirror.bbln.org/gcc";>ftp://mirror.bbln.org/gcc</a> |
-  <a href="rsync://mirror.bbln.org/gcc">rsync://mirror.bbln.org/gcc</a>,
-  thanks to Tim Semeijn (noc@bbln.org) and BBLN.</li>
+  <a href="http://mirror1.babylon.network/gcc/";>http://mirror1.babylon.network/gcc/</a> |
+  <a href="ftp://mirror1.babylon.network/gcc/";>ftp://mirror1.babylon.network/gcc/</a> |
+  <a href="rsync://mirror1.babylon.network/gcc/">rsync://mirror1.babylon.network/gcc/</a>,
+  thanks to Tim Semeijn (noc@babylon.network) at Babylon Network.</li>
 <li>France, Versailles: <a href="ftp://ftp.uvsq.fr/pub/gcc/";>ftp.uvsq.fr</a>, thanks to ftpmaint at uvsq.fr</li>
 <li>Germany, Berlin: <a href="ftp://ftp.fu-berlin.de/unix/languages/gcc/";>ftp.fu-berlin.de</a>, thanks to ftp at fu-berlin.de</li>
 <li>Germany: <a href="ftp://ftp.gwdg.de/pub/misc/gcc/";>ftp.gwdg.de</a>, thanks to emoenke at gwdg.de</li>
@@ -34,6 +39,11 @@
 <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>Latvia, Riga: <a href="http://mirrors.webhostinggeeks.com/gcc/";>mirrors.webhostinggeeks.com/gcc/</a>, thanks to Igor (whg.igp at gmail.com)</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>Russia:
   <a href="http://mirrors-ru.go-parts.com/gcc/";>http://mirrors-ru.go-parts.com/gcc</a>