https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110860
--- Comment #15 from Jonathan Wakely <redi at gcc dot gnu.org> --- Hi Paul, could you please submit the patch to the gcc-patches mailing list for formal review, CCing the libstd...@gcc.gnu.org list? Please either complete a copyright assignment to the FSF or use DCO sign-off as per https://gcc.gnu.org/dco.html so that we can use your patch in GCC. Thanks!