https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85444
--- Comment #5 from Will Hawkins <whh8b at virginia dot edu> --- (In reply to Jonathan Wakely from comment #2) > For a start, patches go to the mailing list, not in bugzilla :-) > > https://gcc.gnu.org/contribute.html Thank you, Jonathan! I was confused by this when I first read the contribution manual. I wrapped up a patch using the appropriate tools and sent it to the gcc-patches@ mailing list. At least I tried to the right thing! We'll see :-)