On Tue, 10 Jun 2014, Hebenstreit, Michael wrote: > you are right - must be a Firefox problem; I had no problem using wget, IE8 works as well > Firefox is still redirected to https://gcc.gnu.org/pub/gcc/infrastructure/ though Does it work for you know? We made a number of changes in the last two weeks, and Firefox 30 on GNU/Linux works for me just fine. Gerald