Directly add extension instead of using `Path::with_extension`#125406

Merged

bors merged 1 commit intorust-lang:masterfrom

tbu-:pr_rm_path_with_extension

Jun 6, 2024

Commits on Jun 4, 2024

Directly add extension instead of using `Path::with_extension`
tbu-
committed