Add more members to ART's OWNERS file.
Test: build/make/tools/checkowners.py -c art/OWNERS
Change-Id: I44b989348156728b1a68a23646a4bfb376552cd4
diff --git a/OWNERS b/OWNERS
index 1d8d2ba..f9f6035 100644
--- a/OWNERS
+++ b/OWNERS
@@ -3,13 +3,16 @@
jiakaiz@google.com
lokeshgidra@google.com
mast@google.com
+miguelaranda@google.com
mingaleev@google.com
+mythria@google.com
ngeoffray@google.com
nikitai@google.com
oth@google.com
prb@google.com
rpl@google.com
skvadrik@google.com
+solanes@google.com
sorinbasca@google.com
vichang@google.com
vmarko@google.com