https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98723
--- Comment #14 from Jonathan Wakely <redi at gcc dot gnu.org> --- Thanks! Please CC the libstdc++ list, as per https://gcc.gnu.org/lists.html https://gcc.gnu.org/contribute.html lists the other requirements. I think this is small enough to not need a copyright assignment or DCO sign-off.
