Skip to content

make ARM maintainers pingable - #161307

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
RalfJung:arm-maintainers
Aug 20, 2026
Merged

make ARM maintainers pingable#161307
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
RalfJung:arm-maintainers

Commits

Commits on Aug 18, 2026