Add temporary new bors e-mail address to the mailmap#151128
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Jan 15, 2026
Merged
Add temporary new bors e-mail address to the mailmap#151128rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom