diff options
| author | bors <bors@rust-lang.org> | 2019-11-22 18:23:00 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-11-22 18:23:00 +0000 |
| commit | 5fa0af2327944bd806b2fa382d4e983149ae7e4a (patch) | |
| tree | 957f23f08b37dd75919d1dbba33aac3b1de60229 /src | |
| parent | 083b5a0a1bb3b2ee0873697ebf37e88d85faa3e5 (diff) | |
| parent | 45a9d279e43c21ae35beeba03c8970aac8d37319 (diff) | |
Auto merge of #66558 - Aaron1011:update/miri-unwind, r=RalfJung
Bump Miri for panic unwinding support
Diffstat (limited to 'src')
| m--------- | src/tools/miri | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 67a63f89d8c0e5b22fb52cc33274283819f4179 +Subproject 644e2a76a87a129f597dc40b47593fc8f72539c |