Skip to content

Allow everyone to assign labels with rustbot#4595

Merged
bors merged 1 commit intomasterfrom
rustbot
Oct 8, 2019
Merged

Allow everyone to assign labels with rustbot#4595
bors merged 1 commit intomasterfrom
rustbot

Commits

Commits on Sep 28, 2019