diff options
author | Manish Goregaokar <manishsmail@gmail.com> | 2019-04-13 14:57:53 -0700 |
---|---|---|
committer | Manish Goregaokar <manishsmail@gmail.com> | 2019-04-13 14:57:54 -0700 |
commit | 8e214b1678bc4dde019367f37fe67c4196a17162 (patch) | |
tree | 84fed5fafe3527db056fa5ec82bbcc5705f0de29 | |
parent | d35ab83c468f8f392c3d567a1035615b7989562d (diff) |
Add kinnison and ehuss to devtools
-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 70cc4fe..6a6dc97 100644 --- a/teams/devtools.toml +++ b/teams/devtools.toml @@ -2,7 +2,7 @@ name = "devtools" [people] leads = ["killercup", "Manishearth"] -members = ["killercup", "Manishearth", "Xanewok", "fitzgen", "GuillaumeGomez", "oli-obk"] +members = ["killercup", "Manishearth", "Xanewok", "fitzgen", "GuillaumeGomez", "oli-obk", "kinnison", "ehuss"] [rfcbot] label = "T-dev-tools" |