https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81693
Eric Gallager <egallager at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |dominiq at lps dot
ens.fr
--- Comment #31 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to Dominique d'Humieres from comment #30)
> I have submitted a patch some time ago at
>
> https://gcc.gnu.org/ml/gcc-patches/2017-11/msg00939.html
>
> Mike asked for some changes and I got distracted before being able to
> fulfill the requests.
>
> I can do it in the coming week, but if someone want to do it sooner, there
> is no problem.
Moving from WAITING to assigned to you then.
