teams/wg-rustfmt: remove nrc and otavio

pietroalbini · pietroalbini · commit 5aa539f1a1dd · 2019-09-03T14:23:47.000+02:00
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",
 ]
