Merge "Update OWNERS file" am: 735bb5ab02 am: 03288521e5 am: 5480be2856

Original change: https://android-review.googlesource.com/c/platform/external/fdlibm/+/1739534

Change-Id: I5837c0f2b52b0492515132cc00c26e6592fbb9bf