diff options
-rw-r--r-- | CONTRIBUTORS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index c07ef6c..087914a 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -9,4 +9,7 @@ # Names should be added to this file as: # Name <email address> +Alan Baker <alanbaker@google.com> +Ehsan Nasiri <ehsannas@gmail.com> David Neto <dneto@google.com> +Lei Zhang <antiagainst@google.com> |