Skip to content

Remove unnecessary arm in handle_res#157321

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
mu001999-contrib:nit
Jun 2, 2026
Merged

Remove unnecessary arm in handle_res#157321
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
mu001999-contrib:nit

Commits

Commits on Jun 2, 2026