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.
Sign in for the full log view

The logs for this run have expired and are no longer available.