https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63921
Dominique d'Humieres <dominiq at lps dot ens.fr> changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|critical |normal --- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- Reset the importance to normal: as for today there are 854 open PRs and several hundreds of them are more or as 'critical' than this one. If this PR is really critical for you, you should consider to fix it yourself (or hire someone to do it for you).