tree a650963045ed9d3af6eeb5ac7b104a8e58817925
parent 424c7939259d8c6c1a914d36011651ac71f73b62
parent 677ba040b72b3e5040b224a0aa5e41cef4f712c7
author bors <bors@rust-lang.org> 1585909395 +0000
committer bors <bors@rust-lang.org> 1585909395 +0000

Auto merge of #70695 - RalfJung:miri, r=RalfJung

update miri

Fixes https://github.com/rust-lang/rust/issues/70664
r? @ghost Cc @oli-obk