Code

Add miri to rustup#1606

Code

Merged

nrc merged 1 commit intorust-lang:masterrust-lang/rustup:masterfrom oli-obk:patch-2oli-obk/rustup.rs:patch-2Copy head branch name to clipboardJan 14, 2019

+3

Commits

Commits on Jan 9, 2019

• Add miri to the proxy list

  oli-obk

  committed
  98cbd2e

  Copy full SHA for 98cbd2e