On Sat, 4 Mar 2023 at 13:31, Xi Ruoyao via Gcc-help <gcc-help@xxxxxxxxxxx> wrote: > > On Sat, 2023-03-04 at 13:13 +0000, Jonny Grant wrote: > > Hello > > Is this something someone here could review please? I don't have write > > access. > > Don't forward a patch everywhere, just ping it. See the section about > pinging a patch in https://gcc.gnu.org/contribute.html. Patches for libstdc++ should be sent to both gcc-patches and the libstdc++ list (but not gcc-help). That's why this one wasn't reviewed or applied.