1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index 3888e708d..e80e278bc 100644
--- a/THANKS
+++ b/THANKS
@@ -16,6 +16,7 @@ Christopher Oliver	[email protected]
 Daniel Eisenbud 	[email protected]
 David Ellement		[email protected]
 Detlef Lannert		[email protected]
+Dirk Lattermann 	[email protected]
 Ed Boraas		[email protected]
 Ernst Molitor		[email protected]
 Fabio Coatti		[email protected]