https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37355
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jvdelisle at gcc dot gnu.org
--- Comment #8 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Do we need yet another extension? I don't think so.
Agreed.
Jerry,
Do you still want to assign this PR to yourself?
