]> git.lizzy.rs Git - rust.git/commit
Auto merge of #96424 - oli-obk:miri_update, r=oli-obk
authorbors <bors@rust-lang.org>
Tue, 26 Apr 2022 10:14:05 +0000 (10:14 +0000)
committerbors <bors@rust-lang.org>
Tue, 26 Apr 2022 10:14:05 +0000 (10:14 +0000)
commit3d237ab52920924694f6fc3e47ee8588514bfa70
treefcacea82440afbef3275ab3c56a1057ed6726ffa
parentd6a57d3730a4e523c433e5528988a2a4f111e94e
parent04ac3825d5765a119279f8940b9a0be72740a06f
Auto merge of #96424 - oli-obk:miri_update, r=oli-obk

update miri submodule

r? `@ghost`

fixes  #96402