Skip to content

Commit

Permalink
Auto merge of #72531 - RalfJung:miri-upd, r=RalfJung
Browse files Browse the repository at this point in the history
bump Miri

Fixes #72358
r? @ghost Cc @rust-lang/miri
  • Loading branch information
bors committed May 24, 2020
2 parents 94fcccc + 9b87f40 commit ff991d6
Showing 1 changed file with 1 addition and 1 deletion.

0 comments on commit ff991d6

Please sign in to comment.