http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54107
Mikael Morin <mikael at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution| |FIXED --- Comment #36 from Mikael Morin <mikael at gcc dot gnu.org> 2013-02-08 15:42:53 UTC --- (In reply to comment #34) > (In reply to comment #33) > > Anything missing before this PR can be closed? > > Unburying the patch for comment #4, testing it, committing it. > :-) This is now done.