On 8/26/26 11:25 AM, Mikael Morin wrote:
*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
All of Part 4 looks OK, Thanks, Jerry
