On Sat, 15 Apr 2017, Gerald Pfeifer wrote: > On Sat, 8 Apr 2017, Ionut Vatavu wrote: >> I would like to announce a new mirror in Germany Gunzenhausen: >> >> http://www.bothelp.net/mirrors/gcc - updated daily by rsync > This is now part of our mirrors list per the patch below.
And here is an update, per Ionut, that I applied. Gerald Index: mirrors.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v retrieving revision 1.244 diff -u -r1.244 mirrors.html --- mirrors.html 16 Jul 2017 05:39:01 -0000 1.244 +++ mirrors.html 1 Aug 2017 11:49:37 -0000 @@ -28,7 +28,7 @@ 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://www.bothelp.net/mirrors/gcc/">www.bothelp.net</a>, thanks to Ionut Vatavu (iva...@googlemail.com).</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>