Skip to content

Add some teams to prioritization exclude_labels#72385

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:add-exclude-labels
May 23, 2020

Commits

Commits on May 21, 2020