diff mbox

[wwwdocs] PATCH for Re: New French mirror

Message ID alpine.LSU.2.11.1407181122480.6423@tuna.site
State New
Headers show

Commit Message

Gerald Pfeifer July 18, 2014, 9:26 a.m. UTC
On Mon, 14 Jul 2014, Tim Semeijn wrote:
> We have decided to switch domains so the mirror details have changed.
> The old domain will be up for a while but it would be best for the
> details to be edited.
> 
> --------------
> 
> http://mirror.bbln.org/gcc
> ftp://mirror.bbln.org/gcc
> rsync://mirror.bbln.org/gcc
> 
> Contact mailaddress: noc@bbln.org

Okay, thanks for letting me know.

Here is what I just applied.

Gerald
diff mbox

Patch

Index: mirrors.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v
retrieving revision 1.223
diff -u -r1.223 mirrors.html
--- mirrors.html	17 Jul 2014 23:00:18 -0000	1.223
+++ mirrors.html	18 Jul 2014 09:22:18 -0000
@@ -25,10 +25,10 @@ 
 <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, Roubaix:
-  <a href="http://mirror.bbln.nl/gcc/">http://mirror.bbln.nl/gcc</a> |
-  <a href="ftp://mirror.bbln.nl/gcc">ftp://mirror.bbln.nl/gcc</a> |
-  <a href="rsync://mirror.bbln.nl/gcc">rsync://mirror.bbln.nl/gcc</a>,
-  thanks to Tim Semeijn (noc@bbln.nl) and BBLN.</li>
+  <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>
 <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>