Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #3221 - RalfJung:edition, r=RalfJung
./miri run: default to edition 2021 Fixes https://github.com/rust-lang/miri/issues/2999
bors 2023-12-19
parent 0361d6e · parent ceab25d · commit 8d22a98
0 files changed, 0 insertions, 0 deletions