dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

update miri

This commit is contained in:
Ralf Jung 2019-08-27 15:49:47 +02:00
parent 9fa8f14023
commit 98ad4ac250
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Cargo.lock
View File

@ -1992,6 +1992,7 @@ dependencies = [
"compiletest_rs",
"directories",
"env_logger 0.6.0",
"getrandom",
"hex",
"log",
"num-traits",

2
src/tools/miri

@ -1 +1 @@
Subproject commit d77fe6c63ca4c50b207a1161def90c9e57368d5b
Subproject commit 69268fb75fdb452296caa9bc4aaeff1674279de2