commit | ca5aa72016f062fd0712bcb86370478de332bca3 | [log] [tgz] |
---|---|---|
author | Ian Hua <ianhua@google.com> | Tue Jan 11 17:18:07 2022 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Jan 11 17:18:07 2022 +0000 |
tree | ed6ad1968f76670aed5e1fb1b5de8c22ad29db68 | |
parent | 6b435cc3204f24f97a70957bb8db61e03f6852b4 [diff] | |
parent | 2a408aca730ed886c89ff65120bdf01b6482adec [diff] |
Merge "Update OWNERS for external/eigen."
diff --git a/OWNERS b/OWNERS index acd6ec0..e77f139 100644 --- a/OWNERS +++ b/OWNERS
@@ -1,2 +1,3 @@ miaowang@google.com timmurray@google.com +ianhua@google.com