diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-04-15 18:19:02 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-04-15 18:19:02 +0200 |
| commit | 6b455281c68d4d04650f979e36c471a24b433344 (patch) | |
| tree | 9e645a021c1318793fcc787728b1655bde9b7ac8 /src/tools/publish_toolstate.py | |
| parent | df768c5c8fcb361c4dc94b4c776d6a78c12862e1 (diff) | |
| download | rust-6b455281c68d4d04650f979e36c471a24b433344.tar.gz rust-6b455281c68d4d04650f979e36c471a24b433344.zip | |
update tool maintainers
Diffstat (limited to 'src/tools/publish_toolstate.py')
| -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 307239fa4c9..2da62b6bd99 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -39,7 +39,7 @@ MAINTAINERS = { 'adamgreig', 'andre-richter', 'jamesmunns', 'korken89', 'ryankurte', 'thejpster', 'therealprof', }, - 'edition-guide': {'ehuss', 'Centril', 'steveklabnik'}, + 'edition-guide': {'ehuss', 'steveklabnik'}, 'rustc-dev-guide': {'mark-i-m', 'spastorino', 'amanjeev', 'JohnTitor'}, } |
