OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Rollup merge of #68576 - jonhoo:bump-miri, r=oli-obk

Browse Source 
update miri

Bump miri for rust-lang/miri#1150

r? @oli-obk
This commit is contained in:
Mark Rousskov 2020-01-27 13:42:02 -05:00 committed by GitHub
commit 69362b9c9e
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 6a0f14bef7784e57a57a996cae3f94dbd2490e7a Subproject commit 83403581bb7a2156f4752fc2d0ceef4b3ec75554