https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90142
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- If you don't want the patch ignored, follow the procedure for submitting patches. If you refuse to do that, don't blame other people for not dealing with the patch. https://gcc.gnu.org/contribute.html#patches
