squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Rollup merge of #74146 - RalfJung:miri, r=RalfJung

Browse source 
update miri

Fixes https://github.com/rust-lang/rust/issues/74132
Cc @rust-lang/miri r? @ghost
This commit is contained in:
Manish Goregaokar 2020-07-09 11:50:44 -07:00 committed by GitHub
commit 089a6e15f6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri

@ -1 +1 @@
Subproject commit fd8101247749c5be6850d5cb5096f01a1867e5ba
Subproject commit eb5ff1791be706d173b4f4c29e9c0529b4235c0e