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

Commits

Commits on Sep 27, 2025