Closed nrc closed 6 years ago
Removes dev-tools peers, adds rustdoc and IDEs teams, changes dev-tools membership, removes style team.
r? @aturon
@nrc my github username is now @jasonwilliams
@jasonwilliams updated; thanks!
Removes dev-tools peers, adds rustdoc and IDEs teams, changes dev-tools membership, removes style team.
r? @aturon