]> git.lizzy.rs Git - rust.git/commit - src/tools/clippy
Auto merge of #69344 - RalfJung:miri, r=oli-obk
authorbors <bors@rust-lang.org>
Mon, 24 Feb 2020 14:54:39 +0000 (14:54 +0000)
committerbors <bors@rust-lang.org>
Mon, 24 Feb 2020 14:54:39 +0000 (14:54 +0000)
commit834bc5650acf7019a53b409db68986857822812c
tree7924e2b3f5ef98a84f4b497b8508b50a95c380e8
parentd9a328a0ade570608717b0df654306a5268c9f46
parentffa1aa6434a8110a10e2fa0de4dce9176578476b
Auto merge of #69344 - RalfJung:miri, r=oli-obk

bump Miri

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

r? @ghost Cc @oli-obk