It appears the entire mirror infrastructure is gone (empty), so remove this from our mirror list.
Applied. Gerald Index: mirrors.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v retrieving revision 1.247 diff -u -r1.247 mirrors.html --- mirrors.html 4 Mar 2018 09:54:33 -0000 1.247 +++ mirrors.html 4 Mar 2018 09:57:26 -0000 @@ -28,7 +28,6 @@ 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, Gunzenhausen: <a href="http://babyname.tips/mirrors/gcc/";>babyname.tips</a>, thanks to Ionut Vatavu (iva...@googlemail.com).</li> <li>Germany: <a href="ftp://ftp.gwdg.de/pub/misc/gcc/";>ftp.gwdg.de</a>, thanks to emoenke at gwdg.de</li> <li>Germany: <a href="ftp://ftp.mpi-sb.mpg.de/pub/gnu/mirror/gcc.gnu.org/pub/gcc/";>ftp.mpi-sb.mpg.de</a>, thanks to ftpadmin at mpi-sb.mpg.de</li> <li>Germany: <a href="http://gcc.cybermirror.org";>http://gcc.cybermirror.org</a>, thanks to Sascha Schwarz (cm at cybermirror.org)</li>
