Skip to content

Commit 5a51185

Browse files
committed
Auto merge of #78023 - RalfJung:miri, r=RalfJung
update miri Fixes #77988 Cc `@rust-lang/miri` r? `@ghost`
2 parents a78a62f + c0a4bd0 commit 5a51185