[wwwdocs] PATCH for Re: Remove *.mirror.babylon.network

[Gerald Pfeifer <gerald at pfeifer dot com>]

On Wed, 21 Mar 2018, Tim Semeijn wrote:
> For the foreseeable future we will not be able to provide our mirrors
> anymore. Could you please remove:
> 
> nl.mirror.babylon.network
> fr.mirror.babylon.network

Thank you for letting us know, Tim, and your service in the past!
Both are really appreciated.

I made this change per the patch below.

Gerald

Index: mirrors.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v
retrieving revision 1.249
diff -u -r1.249 mirrors.html
--- mirrors.html	19 Mar 2018 00:26:23 -0000	1.249
+++ mirrors.html	4 Apr 2018 06:55:17 -0000
@@ -21,11 +21,6 @@
 <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://fr.mirror.babylon.network/gcc/";>http://fr.mirror.babylon.network/gcc/</a> |
-  <a href="ftp://fr.mirror.babylon.network/gcc/";>ftp://fr.mirror.babylon.network/gcc/</a> |
-  <a href="rsync://fr.mirror.babylon.network/gcc/">rsync://fr.mirror.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,11 +29,6 @@
 <li>Greece: <a href="ftp://ftp.ntua.gr/pub/gnu/gcc/";>ftp.ntua.gr</a>, thanks to ftpadm at ntua.gr</li>
 <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="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://nl.mirror.babylon.network/gcc/";>http://nl.mirror.babylon.network/gcc/</a> |
-  <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>,