Clarifies how to tag users for assigning PRs#66826
Merged
bors merged 3 commits intorust-lang:masterfrom Nov 30, 2019
mlodato517:mlodato517-clarify-pr-message-assigner
Merged
Clarifies how to tag users for assigning PRs#66826bors merged 3 commits intorust-lang:masterfrom mlodato517:mlodato517-clarify-pr-message-assigner
bors merged 3 commits intorust-lang:masterfrom
mlodato517:mlodato517-clarify-pr-message-assigner
Commits
Commits on Nov 27, 2019
- committed
Mark Lodato
Commits on Nov 28, 2019
- authored
- authored
