aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas Geoffray <ngeoffray@google.com>2020-05-04 12:31:00 +0000
committerGerrit Code Review <noreply-gerritcodereview@google.com>2020-05-04 12:31:00 +0000
commitbb6c2e95cdf346d59bb36ecc76ae437d5aaef973 (patch)
treeac61a4ef96248d5f48e6bd03218395a2b31264df
parent7c5968ba8d91ad4bf50a04406d0fec3f2e5f7336 (diff)
parent2f13abd4781a78290e7a974a461028a996498b9c (diff)
downloadfdlibm-bb6c2e95cdf346d59bb36ecc76ae437d5aaef973.tar.gz
Merge "Add ART engineers to fdlibm OWMERS."
-rw-r--r--OWNERS4
1 files changed, 4 insertions, 0 deletions
diff --git a/OWNERS b/OWNERS
index 7529e13..2682388 100644
--- a/OWNERS
+++ b/OWNERS
@@ -2,3 +2,7 @@
# Please update this list if you find better candidates.
enh@google.com
narayan@google.com
+dauletz@google.com
+oth@google.com
+hboehm@google.com
+ngeoffray@google.com