diff options
| author | bors <bors@rust-lang.org> | 2020-05-24 14:49:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-05-24 14:49:54 +0000 |
| commit | ff991d60349201a90ca15202dd0323ebdfab8745 (patch) | |
| tree | 7fa8274cb48a1a954c4e5496d7dc18e3a5fcdd56 | |
| parent | 94fccccd2cdba42aed93ad7715e969ab6aad6301 (diff) | |
| parent | 9b87f4009b42802926d166c3dba57d6483fbd325 (diff) | |
| download | rust-ff991d60349201a90ca15202dd0323ebdfab8745.tar.gz rust-ff991d60349201a90ca15202dd0323ebdfab8745.zip | |
Auto merge of #72531 - RalfJung:miri-upd, r=RalfJung
bump Miri Fixes https://github.com/rust-lang/rust/issues/72358 r? @ghost Cc @rust-lang/miri
| m--------- | src/tools/miri | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 10419b3f2fc625bb9d746c16d768e433a894484 +Subproject a6c28f08458e15cead0e80f3b5b7009786bce4a |