diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-11-03 13:40:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-03 13:40:39 +0100 |
| commit | 723edf7793cd0953e12c677ac2f49bf2f67cfb1e (patch) | |
| tree | c4eddb5a548122455b3d9fefe0184826c5b82dfd /src/libsyntax | |
| parent | c674335ba352c526b75483856d33d6479c286f5d (diff) | |
| parent | d0778ac88e5e920e9ac2432a7c5c3246fb236310 (diff) | |
| download | rust-723edf7793cd0953e12c677ac2f49bf2f67cfb1e.tar.gz rust-723edf7793cd0953e12c677ac2f49bf2f67cfb1e.zip | |
Rollup merge of #55598 - nrc:tool-bot, r=kennytm
publish-toolstate: ping maintainers when a tool builds again And add @Xanewok as an RLS maintainer r? @kennytm Motivation is that I see when the RLS gets broken, but have to poll the website to see when it is fixed, I'd prefer to get pinged.
Diffstat (limited to 'src/libsyntax')
0 files changed, 0 insertions, 0 deletions