]> git.lizzy.rs Git - rust.git/commit
Auto merge of #74908 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Thu, 30 Jul 2020 18:29:08 +0000 (18:29 +0000)
committerbors <bors@rust-lang.org>
Thu, 30 Jul 2020 18:29:08 +0000 (18:29 +0000)
commit438c59f010016a8a3a11fbcc4c18ae555d7adf94
tree6d40d3a71b20cc5be2117c92122448f623b30578
parent6b09c37ddc240e25748e53d7a8f81f252def6dee
parent1a2208afc5ef525649b12a9a0a01425390ca44a5
Auto merge of #74908 - RalfJung:miri, r=RalfJung

update Miri

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