summaryrefslogtreecommitdiff
path: root/CONTRIBUTORS
diff options
context:
space:
mode:
Diffstat (limited to 'CONTRIBUTORS')
-rw-r--r--CONTRIBUTORS2
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 74fe21b..91cdb73 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -32,3 +32,5 @@ Thomas Pfaff tpfaff@gmx.net
Franco Bez franco.bez@gmx.de
Alexander Terekhov TEREKHOV@de.ibm.com
Louis Thomas lthomas@arbitrade.com
+David Korn dgk@research.att.com
+