Skip to content

Optimize usage under rustup. - #11917

Merged
bors merged 6 commits into
rust-lang:masterfrom
ehuss:rustup-circumvent
May 5, 2023
Merged

bors merged 6 commits into
rust-lang:masterfrom
ehuss:rustup-circumvent

Switch to then_some.

b9993bd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs