nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-02 07:22:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Auto merge of #75639 - RalfJung:miri, r=RalfJung

Browse Source 
update miri

Fixes https://github.com/rust-lang/rust/issues/75630
Cc @rust-lang/miri r? @ghost
This commit is contained in:
bors 2020-08-18 14:23:22 +00:00
commit a45dedf3d0
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 1bfb26d6cae6f535ac1034877635fc0cef87fe64
Subproject commit 2d6d73fafe2f087354f7cea37297cd81316cae98