1 files changed, 1 insertions, 0 deletions
diff --git a/THANKYOU b/THANKYOU
index db2d80817..c4fe19a75 100644
--- a/THANKYOU
+++ b/THANKYOU
@@ -2,6 +2,7 @@ C. Scott Ananian (cananian@lesser-magoo.lcs.mit.edu)
 Artur Biesiadowski (abies@pg.gda.pl)
 Moses DeJong (dejong@cs.umn.edu)
 Raimar Falke (hawk@hawk.shef.ac.uk)
+Christian Grothoff <grothoff@cs.purdue.edu>
 Steven Hugg (hugg@pobox.com)
 jockey@aromasoft.com
 Matt Mucklo (mmucklo@jumpsmart.com)