]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #81824 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 6 Feb 2021 15:14:44 +0000 (15:14 +0000)
committerbors <bors@rust-lang.org>
Sat, 6 Feb 2021 15:14:44 +0000 (15:14 +0000)
commit37d067f5d71331d909102d142ecc50f577e07ae4
tree454a0970d67df3d922a06c0b686599cfddca6aa0
parent399b6452b5d9982438be208668bc758479f13725
parent1ad52a18738ce6e75c96f11967ede2031f4ef0b3
Auto merge of #81824 - RalfJung:miri, r=RalfJung

update Miri

Fixes https://github.com/rust-lang/rust/issues/81770
Cc `@rust-lang/miri` r? `@ghost`