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

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

Change-Id: I3e636c2161793f52611f08be133562eabaa44b39