https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68271
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|blocker |normal
--- Comment #19 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Yes, so that we don't forget to apply a real fix.
OK, downgrading to normal.
