diff options
author | Manish Goregaokar <manishsmail@gmail.com> | 2019-09-19 06:39:51 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-19 06:39:51 +0900 |
commit | 4f9f215f5a2fc7ea3c238c592780c84334035180 (patch) | |
tree | 45c04329ef06716b54fde009c95d6362d7ed3a5b /teams | |
parent | 7219973566a993aafdbcda615542ca339ee15aef (diff) | |
parent | 1bce64277be62ddf8785c5c015d40a0ac3145bf8 (diff) |
Merge pull request #117 from nikomatsakis/lang-team-lead
add JoshTriplett as lang team lead
Diffstat (limited to 'teams')
-rw-r--r-- | teams/lang.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/teams/lang.toml b/teams/lang.toml index 201755d..d202819 100644 --- a/teams/lang.toml +++ b/teams/lang.toml @@ -1,7 +1,7 @@ name = "lang" [people] -leads = ["nikomatsakis"] +leads = ["nikomatsakis", "joshtriplett"] members = [ "Centril", "cramertj", |