Skip to content

Setup the @rustbot prioritize command#70988

Merged
bors merged 1 commit intorust-lang:masterfrom
LeSeulArtichaut:triagebot-prioritize
Apr 10, 2020

Commits

Commits on Apr 10, 2020