diff options
| author | bors <bors@rust-lang.org> | 2019-02-14 10:32:25 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-02-14 10:32:25 +0000 |
| commit | f47ec2ad5b6887b3d400aee49e2294bd27733d18 (patch) | |
| tree | 8888f8d17504ecad6033bd1992efeb9e04145f93 /src/tools | |
| parent | c67d4749a547a0c937e257ad9e0248075178ddc4 (diff) | |
| parent | 410b4456ca52b6e90259d4aaf04376d862ad36d3 (diff) | |
| download | rust-f47ec2ad5b6887b3d400aee49e2294bd27733d18.tar.gz rust-f47ec2ad5b6887b3d400aee49e2294bd27733d18.zip | |
Auto merge of #58455 - Centril:rollup, r=Centril
Rollup of 7 pull requests Successful merges: - #58309 (Add more profiler events) - #58347 (Closure bounds fixes) - #58365 (Add an option to print the status of incremental tasks / dep nodes after running them) - #58371 (Check user type annotations for range patterns.) - #58378 (rustc: Implement incremental "fat" LTO) - #58407 (specify "upper camel case" in style lint) - #58449 (Notify @topecongiro when the state of rustfmt has changed) Failed merges: r? @ghost
Diffstat (limited to 'src/tools')
| -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', |
