https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14940
--- Comment #52 from Jonathan Wakely <redi at gcc dot gnu.org> --- N.B. patches need to be posted to the gcc-patches mailing list for review, not here. https://gcc.gnu.org/contribute.html
redi at gcc dot gnu.org via Gcc-bugs Wed, 19 May 2021 10:37:26 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14940
--- Comment #52 from Jonathan Wakely <redi at gcc dot gnu.org> --- N.B. patches need to be posted to the gcc-patches mailing list for review, not here. https://gcc.gnu.org/contribute.html