https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90142
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- P.S. I asked you to follow the correct procedure because I can't approve that patch myself, and the people who can approve it expect patches on the mailing lists, not here. If you want the right people to see it, send it to the mailing list. Don't complain that somebody who can't approve the patch tried to help you get it reviewed.
