nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-04-10 02:56:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
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
This commit is contained in:
Manish Goregaokar 2020-07-11 08:53:29 -07:00 committed by GitHub
commit 95c5fb850e
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 eb5ff1791be706d173b4f4c29e9c0529b4235c0e
Subproject commit eee22ffddab20f51e1866bcbe4c5a69a90bdd260