]> git.lizzy.rs Git - rust.git/commit
Auto merge of #70311 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Mon, 23 Mar 2020 15:47:42 +0000 (15:47 +0000)
committerbors <bors@rust-lang.org>
Mon, 23 Mar 2020 15:47:42 +0000 (15:47 +0000)
commit55299b2ba99432d10f925cd28ff52fe397577371
treebf29ca44a2f69180176bdff7d91342458a48832d
parent8549cfed4bbcdd28ef3a36e5de72c000e32f650e
parent648f72abdb1ac11d4be2a89fda52d3b703bb83c3
Auto merge of #70311 - RalfJung:miri, r=RalfJung

update miri

r? @ghost Cc @oli-obk

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