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: n...@bbln.org
Okay, thanks for letting me know. Here is what I just applied. Gerald 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 (n...@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 (n...@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>
