Skip to content

Enable shortcut for triage bot#10298

Merged
bors merged 1 commit intorust-lang:masterfrom Rustin170506:rustin-patch-triagebotJan 16, 2022

Commits

Commits on Jan 16, 2022