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
Commits
Commits on Nov 27, 2019
- committed
Mark Lodato
Commits on Nov 28, 2019
- authored
- authored
