toolstate: remove embedded-resources alumni from toolstate

This commit is contained in:
Pietro Albini 2020-08-12 13:53:50 +02:00
parent 5989bf4872
commit 8345f323b3
No known key found for this signature in database
GPG Key ID: 3E06ABE80BAAF19C

View File

@ -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'},
}