mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Auto merge of #86323 - hyd-dev:miri, r=RalfJung

Browse source 
Update Miri

Fixes #86316
Fixes #86261

r? `@RalfJung`
This commit is contained in:
bors 2021-06-15 17:11:28 +00:00
commit 246571a846
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 e5c3af6f516311cc4b1fc017c58d83b7442cbc34 Subproject commit 35af23b6a94459da538ee1479e863c7699620f84