diff options
| -rw-r--r-- | tools/aconfig/OWNERS | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/aconfig/OWNERS b/tools/aconfig/OWNERS index c92fc7cda3..0c31938d63 100644 --- a/tools/aconfig/OWNERS +++ b/tools/aconfig/OWNERS @@ -1,6 +1,5 @@ dzshen@google.com opg@google.com -tedbauer@google.com zhidou@google.com amhk@google.com #{LAST_RESORT_SUGGESTION} |