1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index a87a0238e..1bb173a68 100644
--- a/THANKS
+++ b/THANKS
@@ -23,6 +23,7 @@ Cees van de Griend	   [email protected]
 Charles Levert		   [email protected]
 Chip Salzenberg 	   [email protected]
 Chris Adams                [email protected]
+Christian Biere            [email protected]
 Christian Kurz		   [email protected]
 Christian von Roques	   [email protected]
 Christopher Oliver	   [email protected]