I commit this change which moves from ftp to https. Eberhard, is there maybe a different/better URL to use, that does not feature "ftp" in the hostname?
Gerald --- htdocs/mirrors.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/htdocs/mirrors.html b/htdocs/mirrors.html index 3e121e87..34da075a 100644 --- a/htdocs/mirrors.html +++ b/htdocs/mirrors.html @@ -21,7 +21,7 @@ mirrors</a>. The following sites mirror the gcc.gnu.org download site <li>France, Brittany: <a href="ftp://ftp.irisa.fr/pub/mirrors/gcc.gnu.org/gcc/";>ftp.irisa.fr</a>, thanks to ftpma...@irisa.fr</li> <li>France, Versailles: <a href="ftp://ftp.uvsq.fr/pub/gcc/";>ftp.uvsq.fr</a>, thanks to ftpma...@uvsq.fr</li> <li>Germany, Berlin: <a href="ftp://ftp.fu-berlin.de/unix/languages/gcc/";>ftp.fu-berlin.de</a>, thanks to f...@fu-berlin.de</li> -<li>Germany: <a href="ftp://ftp.gwdg.de/pub/misc/gcc/";>ftp.gwdg.de</a>, thanks to emoe...@gwdg.de</li> +<li>Germany: <a href="https://ftp.gwdg.de/pub/misc/gcc/";>ftp.gwdg.de</a>, thanks to emoe...@gwdg.de</li> <li>Germany: <a href="https://ftp.mpi-inf.mpg.de/mirrors/gnu/mirror/gcc.gnu.org/pub/gcc/";>mpi-sb.mpg.de</a>, thanks to ftpad...@mpi-sb.mpg.de</li> <li>Germany: <a href="http://gcc.cybermirror.org";>http://gcc.cybermirror.org</a>, thanks to Sascha Schwarz (c...@cybermirror.org)</li> <li>Greece: <a href="http://ftp.ntua.gr/mirror/gnu/gcc/";>ntua.gr</a>, thanks to ftp...@ntua.gr</li> -- 2.31.1
