https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67336
Eric Gallager <egallager at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |patch
CC| |egallager at gcc dot gnu.org
--- Comment #5 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to Yuri Gribov from comment #4)
> Posted RFC in https://gcc.gnu.org/ml/gcc-patches/2017-01/msg00793.html
adding "patch" keyword
