https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120711
--- Comment #11 from Christopher Albert <albert at tugraz dot at> --- Thank you, Andre! I am impressed how fast and professionally this was fixed.
albert at tugraz dot at via Gcc-bugs Thu, 03 Jul 2025 05:14:08 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120711
--- Comment #11 from Christopher Albert <albert at tugraz dot at> --- Thank you, Andre! I am impressed how fast and professionally this was fixed.