Skip to content

Allow assigning PRs to members of the project stable MIR#1119

Closed
celinval wants to merge 1 commit intorust-lang:masterfrom
celinval:master
Closed

Allow assigning PRs to members of the project stable MIR#1119
celinval wants to merge 1 commit intorust-lang:masterfrom
celinval:master

Commits

Commits on Nov 16, 2023