On Tue, 27 Apr 2021, Tobias Burnus wrote: > Thanks for the suggestions. You're always welcome!
> PS: When looking at https://gcc.gnu.org/mirrors.html, I wondered whether > 3 of 5 http mirrors links could move to https and given the trend that > FTP is phased out (on the server side and in the webbrowsers), whether > those ftp:// mirrors which also offer https:// should list https in > addition (or instead?). That's a good observation and recommendation; thank you! I started to work on this; happy for you (or others) to join me over the coming days. :) Gerald
