https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113720
--- Comment #6 from Matthias Klose <doko at gcc dot gnu.org> --- will do, but cannot do that before next week.
doko at gcc dot gnu.org via Gcc-bugs Sat, 03 Feb 2024 05:20:13 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113720
--- Comment #6 from Matthias Klose <doko at gcc dot gnu.org> --- will do, but cannot do that before next week.