diff options
| author | XAMPPRocky <4464295+XAMPPRocky@users.noreply.github.com> | 2019-10-22 15:01:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-22 15:01:20 +0200 |
| commit | c9bccd422c67355968554bc321a9a538cd97e51b (patch) | |
| tree | af9b182baba45083f7586bfa262ed8a3d760a2e2 /teams | |
| parent | c0553bd53d8fbe4ec0a17fb3256d809118e1f0fe (diff) | |
Fix Dev tools' rfcbot name
Diffstat (limited to 'teams')
| -rw-r--r-- | teams/devtools.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/teams/devtools.toml b/teams/devtools.toml index 072d56e..5d34c4e 100644 --- a/teams/devtools.toml +++ b/teams/devtools.toml @@ -6,7 +6,7 @@ members = ["killercup", "Manishearth", "Xanewok", "fitzgen", "GuillaumeGomez", " [rfcbot] label = "T-dev-tools" -name = "Dev tols" +name = "Dev tools" ping = "rust-lang/dev-tools" [website] |