diff options
| author | bors <bors@rust-lang.org> | 2019-08-27 16:23:59 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-08-27 16:23:59 +0000 |
| commit | 53df91a9b24ad999e7ca896447af6f5f74fe43bc (patch) | |
| tree | 6c3cc55e1f40726f40258e0e2154f74ec9e6af44 /src/tools | |
| parent | 0396aace27eea97c3603e9683e921807dff2a314 (diff) | |
| parent | 98ad4ac2506e543111559ec5064cc1bd58349342 (diff) | |
| download | rust-53df91a9b24ad999e7ca896447af6f5f74fe43bc.tar.gz rust-53df91a9b24ad999e7ca896447af6f5f74fe43bc.zip | |
Auto merge of #63922 - RalfJung:miri, r=nikomatsakis
update miri Cc @oli-obk Fixes https://github.com/rust-lang/rust/issues/63843
Diffstat (limited to 'src/tools')
| m--------- | src/tools/miri | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject d77fe6c63ca4c50b207a1161def90c9e57368d5 +Subproject 69268fb75fdb452296caa9bc4aaeff1674279de |