https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66013
Eric Gallager <egallager at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |patch --- Comment #8 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Eric Gallager from comment #7) > (In reply to Tom de Vries from comment #6) > > Removing patch keyword. Discussed patch in > > https://gcc.gnu.org/ml/gcc-patches/2015-05/msg00886.html . > > I think it's worth keeping the patch keyword even if it's already been > discussed; it's still there to return to if someone wants to start trying to > fix this again Thus, adding it back