Auto merge of #891 - RalfJung:rustup, r=RalfJung

test-cargo-miri: cargo update With both rust-random/getrandom#74 and #884 having landed, this should work now.
rust-lang · Aug 6, 2019 · da5ecec · da5ecec
2 parents 39a524f + c73b13f
commit da5ecec
Showing 1 changed file with 22 additions and 26 deletions.
diff --git a/test-cargo-miri/Cargo.lock b/test-cargo-miri/Cargo.lock