Skip to content

Allow everyone to assign labels with rustbot - #4595

Merged
bors merged 1 commit into
masterfrom
rustbot
Oct 8, 2019
Merged

bors merged 1 commit into
masterfrom
rustbot

Commits

Commits on Sep 28, 2019