http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54107



--- Comment #34 from Mikael Morin <mikael at gcc dot gnu.org> 2013-02-05 
21:31:20 UTC ---

(In reply to comment #33)

> Anything missing before this PR can be closed?



Unburying the patch for comment #4, testing it, committing it.

:-)

Reply via email to