https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107870
--- Comment #5 from Nino Pereira <ninorpereira at gmail dot com> --- and to you for being so courteous not to laugh me out of the room. On Sun, Dec 4, 2022 at 2:43 PM anlauf at gcc dot gnu.org < gcc-bugzi...@gcc.gnu.org> wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107870 > > anlauf at gcc dot gnu.org changed: > > What |Removed |Added > > ---------------------------------------------------------------------------- > Status|ASSIGNED |RESOLVED > Target Milestone|--- |13.0 > Resolution|--- |FIXED > > --- Comment #4 from anlauf at gcc dot gnu.org --- > Fixed for gcc-13. Closing. > > Thanks for the report! > > -- > You are receiving this mail because: > You reported the bug.