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



m...@gcc.gnu.org <mrs at gcc dot gnu.org> changed:



           What    |Removed                     |Added

----------------------------------------------------------------------------

                 CC|                            |mrs at gcc dot gnu.org



--- Comment #43 from mrs at gcc dot gnu.org <mrs at gcc dot gnu.org> 2013-02-04 
19:51:13 UTC ---

So, I think we're at the point where the patch from #37 is the right way

forward.  If people agree, I'll approve that.

Reply via email to