diff options
| -rw-r--r-- | tools/lint/OWNERS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/lint/OWNERS b/tools/lint/OWNERS index 2c526a1e239e..33e237d306fc 100644 --- a/tools/lint/OWNERS +++ b/tools/lint/OWNERS @@ -4,3 +4,6 @@ jsharkey@google.com per-file *CallingSettingsNonUserGetterMethods* = file:/packages/SettingsProvider/OWNERS per-file *RegisterReceiverFlagDetector* = jacobhobbie@google.com +# Android lint in the Android platform maintainers +colefaust@google.com +farivar@google.com |