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

…albini Update tool maintainers Centril is taking a break from the project.
rust-lang · Apr 15, 2020 · 835428c · 835428c
2 parents df768c5 + 6b45528
commit 835428c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
@@ -39,7 +39,7 @@
         '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'},
 }