Auto merge of #71172 - pietroalbini:update-tool-maintainers, r=pietroalbini

Update tool maintainers Centril is taking a break from the project.
2020-04-15 16:23:48 +00:00 · 2020-04-15 16:23:48 +00:00 · 835428c35d
parent df768c5c8f 6b455281c6
commit 835428c35d
1 changed files with 1 additions and 1 deletions
--- 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'},
 }