tree 8c87cb35ca29962c47867338a11488d874ef8504
parent 03769411561f3d282bfeb0e86ca38d898f02cbdb
parent 298770406200600be3eedb753d262401b2d59678
author bors <bors@rust-lang.org> 1560856725 +0000
committer bors <bors@rust-lang.org> 1560856725 +0000

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