aboutsummaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 145e3812..7d587ac7 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -17,3 +17,4 @@ under the licensing terms detailed in LICENSE.
* Richard Assar <richard.assar@gmail.com>
* Nathan Hammond <emscripten@nathanhammond.com>
* Behdad Esfahbod <behdad@behdad.org>
+* David Benjamin <davidben@mit.edu>