broken links?

[Ingwie Phoenix]

Am 30.06.2014 um 01:12 schrieb Gerald Pfeifer <gerald@pfeifer.com>:

> 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

Two browsers plus wget working whilst another does not work? This smells like browser cache. Clear that, and try again.

Kind regards,
Ingwie