diff options
Diffstat (limited to 'CONTRIBUTORS')
-rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 905edafd1..fbe1f02cd 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -23,6 +23,7 @@ Adam Chlipala <adamc@csail.mit.edu> <adam@chlipala.net> Andres Erbsen <andreser@mit.edu> Daniel Ziegler <dmz@mit.edu> +David Benjamin <davidben@google.com> Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Jason Gross <jgross@mit.edu> <jagro@google.com> <jasongross9@gmail.com> Robert Sloan <rsloan@mit.edu> <varomodt@gmail.com> <rsloan@sumologic.com> |