mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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

Browse Source 
Update Miri

To include rust-lang/miri#1783, hence fixes #84741.

r? `@RalfJung`
This commit is contained in:
bors 2021-04-30 19:55:47 +00:00
commit 4ae0a8e413
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 5faf5a5ca059f6eb067fc86e47480f5668ac6e8c
Subproject commit 41f3fe64317a6ef144d2ac33e4e5870d894d6038