]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #99530 - RalfJung:miri, r=oli-obk
authorbors <bors@rust-lang.org>
Thu, 21 Jul 2022 22:24:06 +0000 (22:24 +0000)
committerbors <bors@rust-lang.org>
Thu, 21 Jul 2022 22:24:06 +0000 (22:24 +0000)
commit31b9b012bbced0c47a0ff5e4453cdc2e91e668b2
treea06ce9d6b5b8ac77a2a5deb8a5d970d37e4df9da
parent62b272d25c5bb8b6bb8ac73797d82b8b9a1eabda
parentc2df1c21f8691fb59e7a21ebd9c5312aecd92c83
Auto merge of #99530 - RalfJung:miri, r=oli-obk

update Miri

Fixes https://github.com/rust-lang/rust/issues/99461
r? `@oli-obk` because of lockfile changes (seems like serde is getting implicitly bumped)