diff options
author | Tony Aiuto <aiuto@google.com> | 2018-08-10 08:57:34 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-08-10 08:58:54 -0700 |
commit | fc0654ff3798309c8b412220b1202f12059fd1ff (patch) | |
tree | 5f199d47071c7f565cf711bdbd74d215e42ccef0 /CONTRIBUTORS | |
parent | 9374ecf94ce44e8bc56e68678cb512abf4cf9ce2 (diff) |
Add aiuto@google.com to CONTRIBUTORS
Closes #5794.
PiperOrigin-RevId: 208216429
Diffstat (limited to 'CONTRIBUTORS')
-rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 3d0f809e3e..22fdea51c6 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -105,3 +105,4 @@ Dmitry Babkin <dbabkin@google.com> Klaus Aehlig <aehlig@google.com> Robin Nabel <rnabel@ucdavis.edu> Jonathan Dierksen <dierksen@google.com> +Tony Aiuto <aiuto@google.com> |