https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126012
--- Comment #3 from Piotr Kubaj <pkubaj at anongoth dot pl> --- 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.
