]> git.lizzy.rs Git - rust.git/commit
Auto merge of #61927 - RalfJung:miri, r=oli-obk
authorbors <bors@rust-lang.org>
Tue, 18 Jun 2019 11:18:45 +0000 (11:18 +0000)
committerbors <bors@rust-lang.org>
Tue, 18 Jun 2019 11:18:45 +0000 (11:18 +0000)
commit44fb88d25282d9362774536965f2455f677734f3
tree8c87cb35ca29962c47867338a11488d874ef8504
parent03769411561f3d282bfeb0e86ca38d898f02cbdb
parent298770406200600be3eedb753d262401b2d59678
Auto merge of #61927 - RalfJung:miri, r=oli-obk

update miri

Tests fail since https://github.com/rust-lang/rust/pull/61885, this should fix that.

r? @oli-obk