Skip to content

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

Merged
bors merged 1 commit into
rust-lang:masterfrom
tbu-:pr_rm_path_with_extension
Jun 6, 2024
Merged

Directly add extension instead of using Path::with_extension#125406
bors merged 1 commit into
rust-lang:masterfrom
tbu-:pr_rm_path_with_extension

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

f7c51a2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs