]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #67924 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 7 Jan 2020 11:32:55 +0000 (11:32 +0000)
committerbors <bors@rust-lang.org>
Tue, 7 Jan 2020 11:32:55 +0000 (11:32 +0000)
commit637793a1999f46d10c9567f302ca211385702224
tree23542de6c609018c84d779640393db450ba4520b
parentee84c30aee06a004b8d8f8d24000351e9d1cb4bf
parent0f094a4f4d2fa7c9e9e86153a4e9ffa5517abf42
Auto merge of #67924 - RalfJung:miri, r=RalfJung

update miri

Fixes https://github.com/rust-lang/rust/issues/67860

r? @ghost