diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 3f876b04fbece..8f9061d7c1811 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -28,7 +28,7 @@ '@ryankurte @thejpster @therealprof' ), 'edition-guide': '@ehuss @Centril @steveklabnik', - 'rustc-guide': '@mark-i-m' + 'rustc-guide': '@mark-i-m @spastorino' } REPOS = {