Update bors email in CI postprocessing step#150884
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Jan 11, 2026
Merged
Update bors email in CI postprocessing step#150884rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
