diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2019-10-22 07:42:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-22 07:42:23 -0700 |
| commit | 3bede2470682643b09ff24e039944f591f20e6dc (patch) | |
| tree | af9b182baba45083f7586bfa262ed8a3d760a2e2 | |
| parent | c0553bd53d8fbe4ec0a17fb3256d809118e1f0fe (diff) | |
| parent | c9bccd422c67355968554bc321a9a538cd97e51b (diff) | |
Merge pull request #160 from XAMPPRocky/patch-1
Fix Dev tools' rfcbot name
| -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] |