https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96818
--- Comment #11 from Aldy Hernandez <aldyh at redhat dot com> --- Ah...it can be closed. On Wed, Oct 14, 2020, 17:58 jamborm at gcc dot gnu.org < gcc-bugzi...@gcc.gnu.org> wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96818 > > --- Comment #10 from Martin Jambor <jamborm at gcc dot gnu.org> --- > Is this bug still "WAITING" for something? > > -- > You are receiving this mail because: > You are on the CC list for the bug. > You are the assignee for the bug. > >