Repository navigation

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

Commits on Jun 4, 2024
- Directly add extension instead of using `Path::with_extension`
  tbu-
  committed
  f7c51a2