https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117025
--- Comment #10 from Haochen Jiang <haochen.jiang at intel dot com> --- Fixed that texi issue for now by committing the patch.
haochen.jiang at intel dot com via Gcc-bugs Wed, 28 May 2025 00:56:21 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117025
--- Comment #10 from Haochen Jiang <haochen.jiang at intel dot com> --- Fixed that texi issue for now by committing the patch.