commit | 05a474b5307a648673c4d0337dd7c9ae71da9080 | [log] [tgz] |
---|---|---|
author | ivanhernandez <ivanhernandez@google.com> | Fri Jul 27 16:07:12 2018 +0000 |
committer | Ivan Hernandez <ivanhernandez@google.com> | Fri Jul 27 22:07:45 2018 +0000 |
tree | e439b5c44c828f706cc0cb23b5509c67aa5f78d1 | |
parent | a0622057f8dd04d937745483a2a670e49d7f63cb [diff] |
Add ivanhernandez to contributors. PiperOrigin-RevId: 206325107
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index d33de98..ebdbbe5 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS
@@ -22,3 +22,4 @@ Thomas Van Lenten <thomasvl@google.com> Steven E Wright <stevewright@google.com> Rein Hillmann <rein@google.com> +Ivan Hernandez <ivanhernandez@google.com>