https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125228
--- Comment #14 from Jonathan Wakely <redi at gcc dot gnu.org> --- Thanks for the patch. Libstdc++ patches should be CC'd to the libstdc++ list as well as gcc-patches. https://gcc.gnu.org/contribute.html We also need a copyright assignment or DCO sign-off under a real identity, not an anonymous pseudonym.
