update tool maintainers

pietroalbini · Mark-Simulacrum · commit 6d0fbd1c7ce6 · 2020-04-17T22:06:22.000-04:00
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
@@ -40,7 +40,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'},
 }
 

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@`
`40`	`40`	`'adamgreig', 'andre-richter', 'jamesmunns', 'korken89',`
`41`	`41`	`'ryankurte', 'thejpster', 'therealprof',`
`42`	`42`	`},`
`43`		`- 'edition-guide': {'ehuss', 'Centril', 'steveklabnik'},`
	`43`	`+ 'edition-guide': {'ehuss', 'steveklabnik'},`
`44`	`44`	`'rustc-dev-guide': {'mark-i-m', 'spastorino', 'amanjeev', 'JohnTitor'},`
`45`	`45`	`}`
`46`	`46`