]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #84050 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 10 Apr 2021 09:05:36 +0000 (09:05 +0000)
committerbors <bors@rust-lang.org>
Sat, 10 Apr 2021 09:05:36 +0000 (09:05 +0000)
commit9e48be9e062c26a357b81628f85563821c5e5a12
tree378bcb5dec022c5c00e225864e4121b22cecff1b
parent481598b26db6144c580dc113f4d78b4151b5a1bc
parent98c8b1778faccd4e67c53b9dff87daa1332face9
Auto merge of #84050 - RalfJung:miri, r=RalfJung

update Miri

Let's ship https://github.com/rust-lang/miri/pull/1761.
Cc `@rust-lang/miri` r? `@ghost`