diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2018-11-27 20:38:21 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-27 20:38:21 +0100 |
commit | 584b4616ebecd82fb8b3fbb17730f21bbf96bf3b (patch) | |
tree | 5e1bfa0767c9c2429ad362268bea017585c0edd8 | |
parent | fd9fc0183e87d18b57838b7663b0a9f0a8c513e8 (diff) | |
parent | 6991b541f5f14f9fb7aa33419b21ceb1bebc0313 (diff) |
Merge pull request #3 from rust-lang/nrc-patch-1
minor change to core team
-rw-r--r-- | teams/core.toml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/teams/core.toml b/teams/core.toml index 285054b..f422493 100644 --- a/teams/core.toml +++ b/teams/core.toml @@ -9,7 +9,6 @@ members = [ "ashleygwilliams", "aturon", "carols10cents", - "erickt", "nikomatsakis", "nrc", "steveklabnik", |