Do not ping kobzol on rustc-dev-guide changes#153301
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Mar 2, 2026
Merged
Do not ping kobzol on rustc-dev-guide changes#153301rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
