You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The computation fix does look interesting but I don't think it is critical. I think the main question is if we want to spend the time on the merge now or after 9.0.
I tried this with #8736 and didn't see much change. I agree that the computation is an improvement but don't think we need to track it separately. We'll get it automatically when we update MP next.
This is of interest to us:
micropython#13219, merged instead of micropython#13035.
The text was updated successfully, but these errors were encountered: