PING On Wed, Nov 13, 2019 at 11:05 PM Janne Blomqvist <blomqvist.ja...@gmail.com> wrote: > > On Wed, Nov 13, 2019 at 10:41 PM Andrew Pinski <pins...@gmail.com> wrote: > > > > On Wed, Nov 13, 2019 at 12:37 PM Janne Blomqvist > > <blomqvist.ja...@gmail.com> wrote: > > > > > > The FTP protocol is getting long in the tooth, and we should emphasize > > > HTTP where that is available. This patch changes various gcc.gnu.org > > > URL's to instead use HTTP. > > > > May I suggest you use https instead of http here? Because it will be > > redirected anyways to use https. > > For me, when I use my normal web browser (firefox), it does redirect > to https. But I'm using the "HTTPS everywhere" extension, so I'm not > sure if it's the extension that does it, or if the server redirects > me, or if it's some other web-security-thingy that does it. When I use > curl, and if I manage to interpret the output correctly, it does not > redirect. > > That being said, it's probably a good idea to use https anyway. So > yes, consider it done (I'm not sending a new iteration of the patch > for this). > > > -- > Janne Blomqvist
-- Janne Blomqvist