https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117276
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- Thanks for the reminder, fixed on trunk only so far.
redi at gcc dot gnu.org via Gcc-bugs Fri, 12 Sep 2025 06:26:58 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117276
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- Thanks for the reminder, fixed on trunk only so far.