Remove S-waiting-on-bors after a PR is merged#150996
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Jan 12, 2026
Merged
Remove S-waiting-on-bors after a PR is merged#150996rust-bors[bot] merged 1 commit intorust-lang:mainfrom
S-waiting-on-bors after a PR is merged#150996rust-bors[bot] merged 1 commit intorust-lang:mainfrom