diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-08-22 15:15:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-22 15:15:42 +0200 |
| commit | 6c1cdb75ab12a487daee1564beb93e7fd95eff10 (patch) | |
| tree | cd11fd11523d9d0e297a22fec5265b5dfccb85f4 | |
| parent | 1f56441a00406ea5bd44ae43cdd639c1ffa2b101 (diff) | |
| parent | a9900be9f41176003c0a1a613686b2e443342466 (diff) | |
Rollup merge of #63788 - mark-i-m:rustc-guide-toolstate-add, r=ehuss
Add amanjeev to rustc-guide toolstate cc @amanjeev @spastorino r? @ehuss
| -rwxr-xr-x | src/tools/publish_toolstate.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index b8dcba3afc3..648838d26ef 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -34,7 +34,7 @@ MAINTAINERS = { '@ryankurte @thejpster @therealprof' ), 'edition-guide': '@ehuss @Centril @steveklabnik', - 'rustc-guide': '@mark-i-m @spastorino' + 'rustc-guide': '@mark-i-m @spastorino @amanjeev' } REPOS = { |