https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113947
--- Comment #2 from pkoning at gcc dot gnu.org --- I thought I had done this already. Sorry, will fix.
pkoning at gcc dot gnu.org via Gcc-bugs Sun, 30 Nov 2025 10:51:29 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113947
--- Comment #2 from pkoning at gcc dot gnu.org --- I thought I had done this already. Sorry, will fix.