diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2018-11-27 12:51:09 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2018-11-27 12:51:09 +0100 |
| commit | 57e06e7be9f0040d4ac7c91dd49b93f392bc9c69 (patch) | |
| tree | cef1322a31cdb8750043feb5b441518af274b7e9 /teams/leads.toml | |
| parent | 3de533e1fd2b3b22584b9bb1414e69a5672343ef (diff) | |
include core team in the leads@rust-lang.org list
Diffstat (limited to 'teams/leads.toml')
| -rw-r--r-- | teams/leads.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/teams/leads.toml b/teams/leads.toml index 65dd947..b1f18a7 100644 --- a/teams/leads.toml +++ b/teams/leads.toml @@ -8,4 +8,4 @@ include-team-leads = true [[lists]] address = "leads@rust-lang.org" access-level = "everyone" -extra-teams = ["wg-leads"] +extra-teams = ["wg-leads", "core"] |