tree ed6ad1968f76670aed5e1fb1b5de8c22ad29db68
parent acd1c2984b959d96fc5ab2f5edeb423230a7a9e9
parent a0e9f3fa60546587f627351570eaa2dabb27baa9
author Ian Hua <ianhua@google.com> 1641924320 +0000
committer Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> 1641924320 +0000

Merge "Update OWNERS for external/eigen." am: ca5aa72016 am: 595f7ed301 am: a0e9f3fa60

Original change: https://android-review.googlesource.com/c/platform/external/eigen/+/1944925

Change-Id: I0581bceb4852608864ab0068739312e326c13a14