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



Paul Thomas <pault at gcc dot gnu.org> changed:



           What    |Removed                     |Added

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

                 CC|                            |pault at gcc dot gnu.org

         AssignedTo|unassigned at gcc dot       |pault at gcc dot gnu.org

                   |gnu.org                     |



--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> 2013-01-12 16:05:27 
UTC ---

I'll take this one on - see today's posting to the list.



Cheers



Paul

Reply via email to