*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
*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