aboutsummaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS2
1 files changed, 2 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 2babb8b..634b8b0 100644
--- a/THANKS
+++ b/THANKS
@@ -28,6 +28,8 @@ Barak Pearlmutter <bap@cs.unm.edu>
Tommaso Moroni <tommaso.m@tiscalinet.it>
Barak Pearlmutter <bap@cs.unm.edu>
Marek Habersack <grendel@debian.org>
+Kenneth Pronovici <pronovic@debian.org>
+Matt Kraai <kraai@alumni.cmu.edu>
I thank them all!