Skip to content

Port #[register_tool] to the new attribute system - #146702

Closed
jdonszelmann wants to merge 3 commits into
rust-lang:mainfrom
jdonszelmann:register-tool
Closed

Port #[register_tool] to the new attribute system#146702
jdonszelmann wants to merge 3 commits into
rust-lang:mainfrom
jdonszelmann:register-tool

port `#[register_tool]` to the new attribute parsing infrastructure

a08d43d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs