Uh oh!
There was an error while loading. Please reload this page.
remove old update mechanism - #160708
Merged
rust-bors[bot] merged 1 commit intoAug 9, 2026
Merged
Commits
Commits on Aug 7, 2026
- committed
There was an error while loading. Please reload this page.