summaryrefslogtreecommitdiff
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 efcf90f3..20657b71 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -26,3 +26,4 @@
* The following people also enjoy write access under the given rules:
Peter Ekberg peda@lysator.liu.se
+ Noah Misch noah@cs.caltech.edu