Skip to content

Rename ToolRustc to ToolRustcPrivate#146127

Merged
bors merged 1 commit intorust-lang:masterfrom
Kobzol:rename-tool-rustc
Sep 4, 2025
Merged

Rename `ToolRustc` to `ToolRustcPrivate`#146127
bors merged 1 commit intorust-lang:masterfrom
Kobzol:rename-tool-rustc

Commits

Commits on Sep 3, 2025