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.

Reply via email to