| commit | 595f7ed3014455bb46990a301fdc7c2ce2681033 | [log] [tgz] |
|---|---|---|
| author | Ian Hua <ianhua@google.com> | Tue Jan 11 17:36:28 2022 +0000 |
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | Tue Jan 11 17:36:28 2022 +0000 |
| tree | ed6ad1968f76670aed5e1fb1b5de8c22ad29db68 | |
| parent | 6b435cc3204f24f97a70957bb8db61e03f6852b4 [diff] | |
| parent | ca5aa72016f062fd0712bcb86370478de332bca3 [diff] |
Merge "Update OWNERS for external/eigen." am: ca5aa72016 Original change: https://android-review.googlesource.com/c/platform/external/eigen/+/1944925 Change-Id: I12cb7caee9a0b66442c7636424f6a305722c50dc