https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125228
--- Comment #16 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #14) > Thanks for the patch. Libstdc++ patches should be CC'd to the libstdc++ list > as well as gcc-patches. Oh sorry, I see that you already did that (but it was in my spam folder, so I thought it hadn't gone to the libstdc++ list). > > https://gcc.gnu.org/contribute.html > > We also need a copyright assignment or DCO sign-off under a real identity, > not an anonymous pseudonym. This change is pretty mechanical, so maybe we don't need the legal paperwork.
