diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-11-19 09:44:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-19 09:44:13 +0100 |
commit | 70d0d5ed124a155729f51e718b82721f71f4cfbf (patch) | |
tree | c9561449e85d40f247cdad6e3cc1d768a17f3a8e /rust_team_data | |
parent | 123d267a0e52b61380a56898c3edb5f6f501af0f (diff) | |
parent | ed6b0b2f05a9bac9b31e07870760cdf777a572db (diff) |
Merge pull request #183 from rust-lang/lang-crater
Enable craterbot for the lang team
Diffstat (limited to 'rust_team_data')
0 files changed, 0 insertions, 0 deletions