]> git.lizzy.rs Git - rust.git/commit
Auto merge of #79724 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 5 Dec 2020 11:24:40 +0000 (11:24 +0000)
committerbors <bors@rust-lang.org>
Sat, 5 Dec 2020 11:24:40 +0000 (11:24 +0000)
commit551a2c6cbcf239f662a18233cf647bf67e5a74ed
tree886caf3d53dadac30e305fef6d022f343043a978
parent0781b4474bc5677b187cef5b7a881d857732f6bf
parente0e26b4bce7a229cd4f3fefd1d4857325f0542a8
Auto merge of #79724 - RalfJung:miri, r=RalfJung

update Miri

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