http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58398
--- Comment #8 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- How can I set this PR to "FIXED"?
bernd.edlinger at hotmail dot de Sat, 05 Oct 2013 06:08:06 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58398
--- Comment #8 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- How can I set this PR to "FIXED"?