]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: d2b38d6 3b81b47)
Auto merge of #82253 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Sun, 21 Feb 2021 00:19:45 +0000 (00:19 +0000)
committerbors <bors@rust-lang.org>
Sun, 21 Feb 2021 00:19:45 +0000 (00:19 +0000)
commita31c16212d70fcae3ad9d073b00d883951e573ee
tree6ea772e0c0163184e2eb429191cb75aede289d0ctree | snapshot
parentd2b38d6b3c9d1ee52a360c3ce61e54b7aa91d405commit | diff
parent3b81b47617bff625bf3d3bd38eee372cb8aba497commit | diff
Auto merge of #82253 - RalfJung:miri, r=RalfJung

update Miri

Fixes Miri breakage (no issue was created as the toolstate tracking is currently broken: https://github.com/rust-lang/rust/issues/82254)
Empowering everyone to build reliable and efficient software.