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.