http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47729
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|major |normal --- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-02-14 11:26:27 UTC --- Changing Severity back to 'normal' again. IIUC some browsers decide to be "helpful" when you refresh a bugzilla page and remember the values of select boxes, causing you to overwrite an updated value with an old one.