]> git.lizzy.rs Git - rust.git/commit
Auto merge of #62024 - RalfJung:miri, r=oli-obk
authorbors <bors@rust-lang.org>
Sat, 22 Jun 2019 10:31:43 +0000 (10:31 +0000)
committerbors <bors@rust-lang.org>
Sat, 22 Jun 2019 10:31:43 +0000 (10:31 +0000)
commitd4d5d67c1c20b9599c812ab4d926ab4fa9fe6935
tree04d85bdce3d4945755afa6da9bf27ca77f2bf229
parent305930cffeac1da0fd73a08d9f5680e4a49bfb9f
parenta1e954e82d209d9cfe1291be6fc32983c9fc9fab
Auto merge of #62024 - RalfJung:miri, r=oli-obk

update miri

r? @oli-obk