https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118092
--- Comment #6 from Sam James <sjames at gcc dot gnu.org> --- It was just a race with you two both editing the bug. Don't worry about it.
sjames at gcc dot gnu.org via Gcc-bugs Tue, 17 Dec 2024 11:32:11 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118092
--- Comment #6 from Sam James <sjames at gcc dot gnu.org> --- It was just a race with you two both editing the bug. Don't worry about it.