user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
update Miri

Fixes https://github.com/rust-lang/rust/issues/94871
This commit is contained in:
bors 2022-03-13 02:27:30 +00:00
commit 791447cfec
2 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri

@ -1 +1 @@
Subproject commit 722475ccc143d2dbf9fad5891207dcb5576e3d17
Subproject commit a12a48bf723e0e13f043979a7f79861d975e7187