diff options
| author | bors <bors@rust-lang.org> | 2019-08-06 21:05:10 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-08-06 21:05:10 +0000 |
| commit | c326c2e0f1761d133f295a8fe6d2b5a0b7ac6f91 (patch) | |
| tree | b29e0c9011774eb2e57292da3ef2aee137745cca | |
| parent | 6a91782b72fca586b15ba68364bc7baab837af86 (diff) | |
| parent | c0480875f86f170c101a10c740db81f08af9ff42 (diff) | |
Auto merge of #63320 - RalfJung:miri, r=oli-obk
bump Miri r? @oli-obk Fixes https://github.com/rust-lang/rust/issues/63219.
| m--------- | src/tools/miri | 19 |
1 files changed, 8 insertions, 11 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject e276676f0c0fc16f41e46cc56cb7a9362dc717b +Subproject 39a524f694e42cfb178639d490d3fdbbaf8569d |