teams/wg-rustfmt: remove nrc and otavio

rust-lang · Sep 3, 2019 · 4bffda2 · 4bffda2
1 parent 18fb2ac
commit 4bffda2
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git a/people/otavio.toml b/people/otavio.toml
diff --git a/teams/wg-rustfmt.toml b/teams/wg-rustfmt.toml
@@ -5,8 +5,6 @@ wg = true
 [people]
 leads = ["topecongiro"]
 members = [
-    "nrc",
-    "otavio",
     "scampi",
     "topecongiro",
 ]