Skip to content

Enable triagebot shortcuts#1314

Merged
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:triagebot-shortcut
Jan 7, 2023
Merged

Enable triagebot shortcuts#1314
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:triagebot-shortcut

Commits

Commits on Jan 6, 2023