]> git.lizzy.rs Git - rust.git/commit
Auto merge of #59929 - RalfJung:miri, r=oli-obk
authorbors <bors@rust-lang.org>
Sun, 14 Apr 2019 12:55:21 +0000 (12:55 +0000)
committerbors <bors@rust-lang.org>
Sun, 14 Apr 2019 12:55:21 +0000 (12:55 +0000)
commitd70c5a912edbeca55a84e4185e8fe22918aef8dc
tree3a69cad04513b4ace685d5188133033c25c96462
parent60076bb8f7e7ca7fc98ca432cda86dbdce7c0417
parent3f858516c03a156f3b60dbc941bbcdc0cbdd48aa
Auto merge of #59929 - RalfJung:miri, r=oli-obk

update miri

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