https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110467

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Eric Botcazou from comment #4)
> > You were CC'd here:
> > <https://gcc.gnu.org/pipermail/gcc-patches/2023-May/618954.html>, FWIW.
> 
> I totally missed it, sorry about that. :-(

No problem, sorry for not pinging you about it.  I'll make sure to CC you when
I post a fix for this PR.

Reply via email to