From 4bffda200f617ebdfc64c1f5d8ff662c5dc54aaa Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Tue, 3 Sep 2019 14:23:47 +0200 Subject: teams/wg-rustfmt: remove nrc and otavio --- people/otavio.toml | 4 ---- teams/wg-rustfmt.toml | 2 -- 2 files changed, 6 deletions(-) delete mode 100644 people/otavio.toml diff --git a/people/otavio.toml b/people/otavio.toml deleted file mode 100644 index c7e5216..0000000 --- a/people/otavio.toml +++ /dev/null @@ -1,4 +0,0 @@ -name = "Otavio Salvador" -github = "otavio" -github-id = 25278 -email = "otavio@ossystems.com.br" diff --git a/teams/wg-rustfmt.toml b/teams/wg-rustfmt.toml index dba0141..86d4027 100644 --- a/teams/wg-rustfmt.toml +++ b/teams/wg-rustfmt.toml @@ -5,8 +5,6 @@ wg = true [people] leads = ["topecongiro"] members = [ - "nrc", - "otavio", "scampi", "topecongiro", ] -- cgit v1.2.3