Skip to content

Commit

Permalink
Auto merge of #101729 - oli-obk:miriup, r=oli-obk
Browse files Browse the repository at this point in the history 
Update miri submodule

r? `@ghost`

fixes #101649
  • Loading branch information
@bors
bors committed Sep 12, 2022
2 parents 52e003a + cccd99c commit fa6ee93
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 3 files
+1 −1 rust-version
+5 −8 src/shims/intrinsics/mod.rs
+2 −2 tests/pass/pointers.rs

0 comments on commit fa6ee93

Please sign in to comment.