On Sun, 30 May 2021, Tim Ehlers wrote:
> it's still the "FTP"-Server, even if we nowadays also allow different
> protocols (http/rsync) and also have ssl for http in place.
>
> But could you please change:
>
> Germany: https://ftp.gwdg.de/pub/misc/gcc/";>ftp.gwdg.de,
> thanks to emoe...@gwdg.de
>
On Sat, 29 May 2021, Gerald Pfeifer wrote:
Dear Gerald,
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?
-Germany: ftp://ftp.gwdg.de/pub/misc/gcc/";>ftp.gwdg.de, thanks to
emoe...@gwdg.
