diff options
| author | bors <bors@rust-lang.org> | 2021-02-01 02:42:07 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-02-01 02:42:07 +0000 |
| commit | fee0d31397c5ac46d08867e903131d1d73825a9e (patch) | |
| tree | 057547eb2e84a8d5a4a8234c5f83331e4ae6a379 | |
| parent | 941343e0871dd04ea774e8cee7755461b144ef29 (diff) | |
| parent | e105b0ec52dd6e5b2bca6231cc20c11452c3f0e1 (diff) | |
Auto merge of #81591 - RalfJung:miri, r=RalfJung
update Miri Fixes https://github.com/rust-lang/rust/issues/81551 Cc `@rust-lang/miri` r? `@ghost`
| m--------- | src/tools/miri | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject bcb87a70f88d5c22d71f4a714178d93ce0c49b0 +Subproject 8d24b02414073bd4dafd3810205265c668dbcae |