diff options
| author | bors <bors@rust-lang.org> | 2020-01-16 14:16:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-01-16 14:16:54 +0000 |
| commit | 117ceeba400e69aa7b8ba5155acd1c8c0cdf7f7f (patch) | |
| tree | 71c8f2418395885f01ba9c010bc67d2e43e46d3e /src | |
| parent | 9fe05e9456b84996637c2f29b35c37960e537540 (diff) | |
| parent | d9d7877f0ea5aeca30322e80a26ef3916fc8b88e (diff) | |
| download | rust-117ceeba400e69aa7b8ba5155acd1c8c0cdf7f7f.tar.gz rust-117ceeba400e69aa7b8ba5155acd1c8c0cdf7f7f.zip | |
Auto merge of #68258 - RalfJung:miri, r=RalfJung
update miri Fixes https://github.com/rust-lang/rust/issues/68081 r? @ghost Cc @oli-obk
Diffstat (limited to 'src')
| m--------- | src/tools/miri | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 4e44aa010c4c7d616182a3078cafb39da6f6c0a +Subproject 6a0f14bef7784e57a57a996cae3f94dbd2490e7 |