On Fri, Oct 30, 2026 at 3:03 PM Yilin Zhang <[email protected]> wrote: > At 2026-10-28 10:23:43, "Richard Guo" <[email protected]> wrote: > >I plan to push them (or at least 0001, back-patched to 14) in a few > >days if there are no objections, since the next minor release is just > >around the corner.
> Thank you for working on this bug. > Yes, the code in v3 is simpler and more effective. > LGTM. Pushed both and back-patched 0001 to v14. - Richard
