Skip to content

Enable the "shortcut" feature for triagebot#3162

Merged
bors merged 1 commit intorust-lang:masterfrom JohnTitor:enable-triagebot-shortcutMar 23, 2023

Commits

Commits on Mar 23, 2023