Skip to content

Add prioritize_on attribute to triagebot#72200

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:add-prioritize_on-to-triagebot
May 15, 2020

Commits

Commits on May 14, 2020