https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116076
--- Comment #4 from Filip Kastl <pheeck at gcc dot gnu.org> --- Should I leave this bug open or close it, then? What do you think, Richard?
pheeck at gcc dot gnu.org via Gcc-bugs Tue, 24 Sep 2024 00:37:31 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116076
--- Comment #4 from Filip Kastl <pheeck at gcc dot gnu.org> --- Should I leave this bug open or close it, then? What do you think, Richard?