Make verify-channel.sh script compatible with new bors#150759
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Jan 7, 2026
Merged
Make verify-channel.sh script compatible with new bors#150759rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
