Skip to content

dev guide ping group and set adhoc reviewers to compiler#135132

Merged
bors merged 1 commit intorust-lang:masterfrom
BoxyUwU:rdg_ping_group
Jan 6, 2025

Commits

Commits on Jan 5, 2025