*ping* for [1] and follow-up patches.

Jerry approved the part 5 series off-list, but I would like to push this series first to avoid conflicts.

[1] https://gcc.gnu.org/pipermail/gcc-patches/2026-July/725556.html

Reply via email to