diff options
| author | 2017-07-07 15:21:23 +0000 | |
|---|---|---|
| committer | 2017-07-07 15:21:23 +0000 | |
| commit | 389940c5b534cfbb5ef19d70e92d546b26946f0e (patch) | |
| tree | 8578706daf391f3fdd1573a88b5e3f1e35ca3c98 | |
| parent | efdfc85f24cf1ca96000cb58dc20558dce721f23 (diff) | |
| parent | 21fbd78b3eba63ed4cc99cb0a80c0e42bf35f615 (diff) | |
Merge "ART: Add OWNERS file"
| -rw-r--r-- | OWNERS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/OWNERS b/OWNERS new file mode 100644 index 0000000000..7297a14da2 --- /dev/null +++ b/OWNERS @@ -0,0 +1,3 @@ +ngeoffray@google.com +sehr@google.com +* |