Allow anyone to change the status of a PR#910

Merged

jyn514 merged 1 commit intorust-lang:masterfrom

LeSeulArtichaut:relabel-pr-status

Oct 4, 2020

Commits on Oct 4, 2020

Allow anyone to change the status of a PR
LeSeulArtichaut
authored