From c9bccd422c67355968554bc321a9a538cd97e51b Mon Sep 17 00:00:00 2001
From: XAMPPRocky <4464295+XAMPPRocky@users.noreply.github.com>
Date: Tue, 22 Oct 2019 15:01:20 +0200
Subject: Fix Dev tools' rfcbot name

---
 teams/devtools.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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]
-- 
cgit v1.2.3