diff options
| author | bors <bors@rust-lang.org> | 2020-08-13 08:24:00 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-08-13 08:24:00 +0000 |
| commit | 3fbed1739c384faabf00cd8a62abedbf506e949b (patch) | |
| tree | b5034cd4b0782cb0033f154e19904e43b431b544 /src | |
| parent | d69b0997d7dcc99a188d5cb19137dedc4fc05d25 (diff) | |
| parent | 7e4456f92fb8e7e3f1d4dfda2a29685bbd39909d (diff) | |
| download | rust-3fbed1739c384faabf00cd8a62abedbf506e949b.tar.gz rust-3fbed1739c384faabf00cd8a62abedbf506e949b.zip | |
Auto merge of #75478 - RalfJung:miri, r=RalfJung
update miri Fixes https://github.com/rust-lang/rust/issues/75441
Diffstat (limited to 'src')
| m--------- | src/tools/miri | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 1edd231065c8eb75abf42bb375adda2120c9a6b +Subproject 1bfb26d6cae6f535ac1034877635fc0cef87fe6 |