diff options
| author | bors <bors@rust-lang.org> | 2020-10-12 08:25:38 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-10-12 08:25:38 +0000 |
| commit | a8d6da3f57f9cc85ddbe1d73e72e3523de7ac245 (patch) | |
| tree | 90b0080cb497cbb89a605170e4a86c86cfbaff3c | |
| parent | 62cbe81b8a4bf932ca59c4b75372af50fb4a247c (diff) | |
| parent | 5e34bddc1b066fd70c8244c3312c08680f68091f (diff) | |
| download | rust-a8d6da3f57f9cc85ddbe1d73e72e3523de7ac245.tar.gz rust-a8d6da3f57f9cc85ddbe1d73e72e3523de7ac245.zip | |
Auto merge of #77837 - Aaron1011:bump-miri-backtrace, r=RalfJung
Bump miri Fixes https://github.com/rust-lang/rust/issues/77791 r? `@RalfJung`
| m--------- | src/tools/miri | 24 |
1 files changed, 8 insertions, 16 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 3fafb835ea42e6e3af27f5dc8f26bda590cb49e +Subproject 8beccc4bef598e95e31536f996ea5771d8126d0 |