]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #101729 - oli-obk:miriup, r=oli-obk
authorbors <bors@rust-lang.org>
Mon, 12 Sep 2022 19:34:30 +0000 (19:34 +0000)
committerbors <bors@rust-lang.org>
Mon, 12 Sep 2022 19:34:30 +0000 (19:34 +0000)
commitfa6ee9375242ae784dab1837dfc0b92f43e787ce
treecb7c91d1ec1fb523786b24ec91b9d4f15fddee08
parent52e003a6e93940ae49cbfc806c72ed5b0217cf4e
parentcccd99c976180fe364112930d3697d2cbc5d41c1
Auto merge of #101729 - oli-obk:miriup, r=oli-obk

Update miri submodule

r? `@ghost`

fixes #101649