From 03a62ef1405ec18f49996e3a3996694d731030d5 Mon Sep 17 00:00:00 2001 From: Werner Koch Date: Thu, 8 Dec 2005 15:34:16 +0000 Subject: Assorted changeds --- THANKS | 1 + 1 file changed, 1 insertion(+) (limited to 'THANKS') diff --git a/THANKS b/THANKS index 2441d05b..d4948e55 100644 --- a/THANKS +++ b/THANKS @@ -14,6 +14,7 @@ Bryan Fullerton bryanf@samurai.com Caskey L. Dickson caskey@technocage.com Cees van de Griend cees-list@griend.xs4all.nl Charles Levert charles@comm.polymtl.ca +Christian Biere christianbiere@gmx.de Christian Grothoff grothoff@cs.purdue.edu Christian von Roques roques@pond.sub.org Christopher Oliver oliver@fritz.traverse.net -- cgit v1.2.1