https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77650
--- Comment #7 from qinzhao at gcc dot gnu.org --- the patch for this documentation change in GCC has been posted and approved at:https://gcc.gnu.org/pipermail/gcc-patches/2023-May/620148.html
qinzhao at gcc dot gnu.org via Gcc-bugs Mon, 12 Jun 2023 08:51:38 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77650
--- Comment #7 from qinzhao at gcc dot gnu.org --- the patch for this documentation change in GCC has been posted and approved at:https://gcc.gnu.org/pipermail/gcc-patches/2023-May/620148.html