Skip to content

Commit

Permalink
Auto merge of rust-lang#3221 - RalfJung:edition, r=RalfJung
Browse files Browse the repository at this point in the history 
./miri run: default to edition 2021

Fixes rust-lang/miri#2999
  • Loading branch information
@bors
bors committed Dec 18, 2023
2 parents 0361d6e + ceab25d commit 8d22a98
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 8d22a98

Please sign in to comment.