http://sourceware.org/bugzilla/show_bug.cgi?id=12929Tom Tromey <tromey at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |tromey at redhat dot com
Resolution| |FIXED
Target Milestone|--- |7.5
--- Comment #3 from Tom Tromey <tromey at redhat dot com> 2012-06-12 19:37:51 UTC ---
I tried it and it worked for me.
Yao - it is fine to use your best judgment and modify bugzilla.
Close things if you reasonably believe them to be fixed.
There isn't too much process here, and really bugzilla would
benefit from more random love.
I usually just give the bug a try first...
--
Configure bugmail:
http://sourceware.org/bugzilla/userprefs.cgi?tab=email------- You are receiving this mail because: -------
You are on the CC list for the bug.