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

--- Comment #11 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Yes, leave it for the time being - I will see if I can do something 
> about it (or unassign, if not).

OK.

See also pr33430.

Reply via email to