diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-08-12 13:53:50 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-08-12 13:53:50 +0200 |
| commit | 8345f323b352dc76f5378eba1e680f09798b261d (patch) | |
| tree | 4f54c4ea06cb2639ade95bc6c1d7be6cfdb2403a /src/tools/publish_toolstate.py | |
| parent | 5989bf48724031b72326a5b731a15fca101339e2 (diff) | |
| download | rust-8345f323b352dc76f5378eba1e680f09798b261d.tar.gz rust-8345f323b352dc76f5378eba1e680f09798b261d.zip | |
toolstate: remove embedded-resources alumni from toolstate
Diffstat (limited to 'src/tools/publish_toolstate.py')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 55e2d7cf827..72b3df8377a 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -31,10 +31,7 @@ MAINTAINERS = { 'nomicon': {'frewsxcv', 'Gankra'}, 'reference': {'steveklabnik', 'Havvy', 'matthewjasper', 'ehuss'}, 'rust-by-example': {'steveklabnik', 'marioidival'}, - 'embedded-book': { - 'adamgreig', 'andre-richter', 'jamesmunns', 'korken89', - 'ryankurte', 'thejpster', 'therealprof', - }, + 'embedded-book': {'adamgreig', 'andre-richter', 'jamesmunns', 'therealprof'}, 'edition-guide': {'ehuss', 'steveklabnik'}, 'rustc-dev-guide': {'mark-i-m', 'spastorino', 'amanjeev', 'JohnTitor'}, } |