Skip to content

Port #[register_tool] to the new attribute system#152988

Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
JonathanBrouwer:register-tool
Feb 24, 2026
Merged

Port #[register_tool] to the new attribute system#152988
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
JonathanBrouwer:register-tool

Commits

Commits on Feb 24, 2026