summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index f8f18e24e..7b2dd6770 100644
--- a/THANKS
+++ b/THANKS
@@ -386,4 +386,5 @@ wiregauze wiregauze@yahoo.com
Wojciech Purczynski cliph@isec.pl
Wolfram Kleff kleff@cs.uni-bonn.de
Won-kyu Park wkpark@chem.skku.ac.kr
+Yann Dirson dirson@debian.org
Zvi Har'El rl@math.technion.ac.il