https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109203
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- Technically, that's needed for libstdc++ too, it just happens to work "by accident" without it.
redi at gcc dot gnu.org via Gcc-bugs Mon, 20 Mar 2023 02:55:24 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109203
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- Technically, that's needed for libstdc++ too, it just happens to work "by accident" without it.