Update almuni

ehuss · ehuss · commit 6a88b5b7d964 · 2023-08-21T10:03:05.000-07:00
diff --git a/teams/devtools.toml b/teams/devtools.toml
@@ -3,7 +3,7 @@ name = "devtools"
 [people]
 leads = ["Manishearth"]
 members = ["Manishearth", "fitzgen", "GuillaumeGomez", "oli-obk", "rbtcollins", "ehuss", "calebcartwright"]
-alumni = ["nrc", "killercup"]
+alumni = ["nrc", "killercup", "Xanewok", "kinnison"]
 
 [rfcbot]
 label = "T-dev-tools"
