http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47456
Kai Tietz <ktietz at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution| |FIXED
--- Comment #15 from Kai Tietz <ktietz at gcc dot gnu.org> 2012-01-10 16:57:02
UTC ---
Hmm, neither an new report about this, nor confirmation that issue still
happens. We waited long enough. Closing it.
