diff options
Diffstat (limited to 'teams/devtools.toml')
| -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] |