diff options
| author | bors <bors@rust-lang.org> | 2020-04-15 16:23:48 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-04-15 16:23:48 +0000 |
| commit | 835428c35d785733e72bfbf32fc2f8fff3e50e63 (patch) | |
| tree | 9e645a021c1318793fcc787728b1655bde9b7ac8 | |
| parent | df768c5c8fcb361c4dc94b4c776d6a78c12862e1 (diff) | |
| parent | 6b455281c68d4d04650f979e36c471a24b433344 (diff) | |
| download | rust-835428c35d785733e72bfbf32fc2f8fff3e50e63.tar.gz rust-835428c35d785733e72bfbf32fc2f8fff3e50e63.zip | |
Auto merge of #71172 - pietroalbini:update-tool-maintainers, r=pietroalbini
Update tool maintainers Centril is taking a break from the project.
| -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'}, } |