remote-test-server: Fix header in batch mode#150987
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Jan 20, 2026
Merged
remote-test-server: Fix header in batch mode#150987rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom