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 33328eb + 2c3dc83 commit f8c0d13
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit f8c0d13

Please sign in to comment.