commit | 95c5fb850e6b8bf2a5e4a69775b9254812afcfbc | [log] [tgz] |
---|---|---|
author | Manish Goregaokar <manishsmail@gmail.com> | Sat Jul 11 08:53:29 2020 -0700 |
committer | GitHub <noreply@github.com> | Sat Jul 11 08:53:29 2020 -0700 |
tree | 0ca16e0243d13bb807b846372dd2d147fc0b95d8 | |
parent | aa04ffb61a3e563eb4555057f897191f3ab49386 [diff] | |
parent | 6bda2e8a7dbd5e0c0263b26ab89f9fe62920824c [diff] |
Rollup merge of #74241 - RalfJung:miri, r=RalfJung update miri This incorporates https://github.com/rust-lang/miri/pull/1474. [Last time](https://github.com/rust-lang/rust/pull/74146) that change caused trouble but I fixed xargo since then and [now it should work](https://github.com/rust-lang/rust/pull/74146#issuecomment-657051446). Cc @rust-lang/miri r? @ghost
diff --git a/src/tools/miri b/src/tools/miri index eb5ff17..eee22ff 160000 --- a/src/tools/miri +++ b/src/tools/miri
@@ -1 +1 @@ -Subproject commit eb5ff1791be706d173b4f4c29e9c0529b4235c0e +Subproject commit eee22ffddab20f51e1866bcbe4c5a69a90bdd260