diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-09-10 17:19:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-10 17:19:22 +0200 |
| commit | 9eecb4aafef595a16f5092ebaa10fd1681bdacc4 (patch) | |
| tree | 1962edaaa2301dc8b3d020338c1357b2796397a2 /src | |
| parent | 13726cc444e423dad058860a74e559eca88a9518 (diff) | |
| parent | 925a766bc0d34f8808e9902c47bea54b09540774 (diff) | |
| download | rust-9eecb4aafef595a16f5092ebaa10fd1681bdacc4.tar.gz rust-9eecb4aafef595a16f5092ebaa10fd1681bdacc4.zip | |
Rollup merge of #63989 - yaahc:master, r=Manishearth
Add Yaah to clippy toolstain notification list
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 1411f4c0b05..2e2505b7f02 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -22,7 +22,7 @@ except ImportError: # List of people to ping when the status of a tool or a book changed. MAINTAINERS = { 'miri': '@oli-obk @RalfJung @eddyb', - 'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk @phansch @flip1995', + 'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk @phansch @flip1995 @yaahc', 'rls': '@Xanewok', 'rustfmt': '@topecongiro', 'book': '@carols10cents @steveklabnik', |