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

--- Comment #4 from Manjunath S Matti <mmatti at linux dot vnet.ibm.com> ---
(In reply to Piotr Kubaj from comment #3)
> Ping. Is there anything else needed from me? For the record, the whole
> series is at
> https://gcc.gnu.org/pipermail/gcc-patches/2026-July/723975.html. I have run
> vast bulk builds from our ports tree and there doesn't seem to be any more
> issues.

Sorry for the delay in reviewing your patch. Let me have a look and respond to
you via email.

Reply via email to