https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117477

Richard Sandiford <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rsandifo at gcc dot 
gnu.org
                 CC|                            |rsandifo at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #6 from Richard Sandiford <rsandifo at gcc dot gnu.org> ---
Taking for now since Andrew rightly pointed out that an RFC I just posted
should fix this, with appropriate tweaking.

Reply via email to