On Thu, 30 Jul 2026 at 17:29, Tender Wang <[email protected]> wrote: > David Rowley <[email protected]> 于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
