On Thu, 30 Jul 2026 at 17:29, Tender Wang <tndrwang(at)gmail(dot)com> wrote:
> David Rowley <dgrowleyml(at)gmail(dot)com> 于2026年7月30日周四 11:47写道:
> > In other words, I think #2 is the correct fix. The attached v1-0001
> > patchifies that method.
> >
> Yes, I agree that #2 is the better approach. It is simpler, more
> straightforward, and has less impact on the existing code.
I made some test adjustments and pushed.
Thanks for the report, Jacob.
David