OpenE2K
/
rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Auto merge of #77837 - Aaron1011:bump-miri-backtrace, r=RalfJung 

Bump miri

Fixes https://github.com/rust-lang/rust/issues/77791

r? `@RalfJung`
This commit is contained in:
bors 2020-10-12 08:25:38 +00:00
parent 62cbe81b8a 5e34bddc1b
commit a8d6da3f57
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 3fafb835ea42e6e3af27f5dc8f26bda590cb49e9
Subproject commit 8beccc4bef598e95e31536f996ea5771d8126d00