------- Comment #3 from Martin dot vGagern at gmx dot net 2007-01-25 11:08 ------- Clearing browser cache helped. Maybe bugzilla did not mark a page as changed that had in fact changed for some reason. I'm ready to provide additional information if I can. Just ask. Unfortunately it is too late to record the network traffic.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30584
