Skip to content

Allow users to change status labels - #1083

Merged
ehuss merged 1 commit into
rust-lang:masterfrom
fee1-dead:master
Aug 20, 2021
Merged

Allow users to change status labels#1083
ehuss merged 1 commit into
rust-lang:masterfrom
fee1-dead:master

Allow users to change status labels

7d5f0cd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs