diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-02-14 08:24:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-14 08:24:18 +0100 |
| commit | 410b4456ca52b6e90259d4aaf04376d862ad36d3 (patch) | |
| tree | 8888f8d17504ecad6033bd1992efeb9e04145f93 | |
| parent | a115fea88472e00e69424ddc1b7c65840f120f6c (diff) | |
| parent | be121a0cd1a123059793af02c4bc484f480881c9 (diff) | |
| download | rust-410b4456ca52b6e90259d4aaf04376d862ad36d3.tar.gz rust-410b4456ca52b6e90259d4aaf04376d862ad36d3.zip | |
Rollup merge of #58449 - topecongiro:rustfmt-toolstate, r=Centril
Notify @topecongiro when the state of rustfmt has changed I would like to get notified when the state of rustfmt has changed. Context: I am currently a leader of the rustfmt working group. cc @nrc do you still want to get notified?
| -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 ed697fc5425..24d6fd5b19b 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -17,7 +17,7 @@ MAINTAINERS = { 'miri': '@oli-obk @RalfJung @eddyb', 'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk', 'rls': '@nrc @Xanewok', - 'rustfmt': '@nrc', + 'rustfmt': '@nrc @topecongiro', 'book': '@carols10cents @steveklabnik', 'nomicon': '@frewsxcv @Gankro', 'reference': '@steveklabnik @Havvy @matthewjasper @alercah', |