bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Auto merge of #63413 - RalfJung:miri, r=oli-obk

Browse source 
update Miri

With https://github.com/rust-lang/rust/pull/63404 landed, we need https://github.com/rust-lang/miri/pull/898 to avoid failures in https://github.com/RalfJung/miri-test-libstd.

r? @oli-obk
This commit is contained in:
bors 2019-08-11 02:05:40 +00:00
commit ee36cfaff9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri

@ -1 +1 @@
Subproject commit b12ebfc3de853abf6b4260c44a71cd51323803c5 Subproject commit c1cb24969e84dfaded2769ab5575effc8d4f5c30