]> git.lizzy.rs Git - rust.git/commit
Auto merge of #83922 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 6 Apr 2021 12:20:48 +0000 (12:20 +0000)
committerbors <bors@rust-lang.org>
Tue, 6 Apr 2021 12:20:48 +0000 (12:20 +0000)
commit5c897d430dcbec6b10a9925f7de054dbc0ad3c52
tree5642d3b51833b5b73fccf059b8c2ca77af3fa571
parente1d49aaad4fde33469fdb786c29838a95a5d8a11
parentbf11b12e398ce075e05e825d02c9c4ae48e0b266
Auto merge of #83922 - RalfJung:miri, r=RalfJung

update Miri

Also updates the lockfile, since Miri updated some dependencies.
Cc `@rust-lang/miri` r? `@ghost`