Directly add extension instead of using Path::with_extension
#125406
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 6, 2024
Merged
Directly add extension instead of using `Path::with_extension`#125406bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom