diff options
| author | bors <bors@rust-lang.org> | 2020-09-30 10:08:28 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-09-30 10:08:28 +0000 |
| commit | 511ed9f2356af365ad8affe046b3dd33f7ac3c98 (patch) | |
| tree | 91a493229b0e0e50b16ca36b60373063b18352a8 | |
| parent | 12f667fac30c5d074a0e5c766222b5a7b6c88246 (diff) | |
| parent | 19d8eaf4444cab71e5fe718a798cd44ab01f3201 (diff) | |
| download | rust-511ed9f2356af365ad8affe046b3dd33f7ac3c98.tar.gz rust-511ed9f2356af365ad8affe046b3dd33f7ac3c98.zip | |
Auto merge of #77356 - RalfJung:miri, r=RalfJung
update miri Fixes https://github.com/rust-lang/rust/issues/77310 r? `@ghost` Cc `@rust-lang/miri`
| m--------- | src/tools/miri | 41 |
1 files changed, 34 insertions, 7 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 2f84bfc57dd0ef22269bb84dae10f71e5e23e85 +Subproject 266b75faecd11e6a0b63fb6526fac56cda22beb |