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
That sounds like a good idea to me! The sorting happens here. I think the right way to do this is by having a custom Ord impl for Component. Actually, the relevant function is toolchain_sort. Do you want to try implementing this? You can probably use https://crates.io/crates/natord.
1.10.0 after 1.9.0 (or before, if we do reverse numeric order).
The text was updated successfully, but these errors were encountered: