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.
