https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61613
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |manu at gcc dot gnu.org --- Comment #5 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- (In reply to David Krauss from comment #4) > Let's see what the maintainers do with it :) . Probably nothing if you don't follow the submission process: https://gcc.gnu.org/contribute.html