aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland Levillain <rpl@google.com>2024-01-03 13:04:34 +0000
committerGerrit Code Review <noreply-gerritcodereview@google.com>2024-01-03 13:04:34 +0000
commiteb03b80e97c494aee27e5a27454a3933436f599b (patch)
treedd41c296c609b487460ef45af46c39f5be4b9aac
parent3712afa2cd33760df9b7bb1c2ccc2bef66cfd4cd (diff)
parent0346abc87e2237b140c2023e81b4ef74702fa0cf (diff)
downloadfdlibm-eb03b80e97c494aee27e5a27454a3933436f599b.tar.gz
Merge "Update `OWNERS` files under `external/fdlibm`." into main
-rw-r--r--OWNERS1
1 files changed, 0 insertions, 1 deletions
diff --git a/OWNERS b/OWNERS
index 721432f..4397dfb 100644
--- a/OWNERS
+++ b/OWNERS
@@ -2,6 +2,5 @@
# Please update this list if you find better candidates.
enh@google.com
narayan@google.com
-oth@google.com
hboehm@google.com
ngeoffray@google.com