diff options
| author | bors <bors@rust-lang.org> | 2019-11-17 10:45:37 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-11-17 10:45:37 +0000 |
| commit | 4b6cef1e32b4f2fa44b7d8ebd7ddef0bdeaf51a2 (patch) | |
| tree | 65d17e9fcc64d3b688df18ec199a43ff64a199a1 /src | |
| parent | 5966d9b4d987f3b3c4a270bc0b23ef5fadac51bb (diff) | |
| parent | 2bfa622a991b45ae33a4881cd00e91f459c0bee0 (diff) | |
| download | rust-4b6cef1e32b4f2fa44b7d8ebd7ddef0bdeaf51a2.tar.gz rust-4b6cef1e32b4f2fa44b7d8ebd7ddef0bdeaf51a2.zip | |
Auto merge of #66488 - RalfJung:miri, r=RalfJung
update Miri r? @ghost Cc @oli-obk
Diffstat (limited to 'src')
| m--------- | src/tools/miri | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 8355437d5d0e747b7e7239cd0a2af8a3825bd91 +Subproject 67a63f89d8c0e5b22fb52cc33274283819f4179 |