aboutsummaryrefslogtreecommitdiffstats
path: root/THANKS
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS4
1 files changed, 4 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 88e7c2311..be08ddec1 100644
--- a/THANKS
+++ b/THANKS
@@ -12,9 +12,11 @@ Charles Levert [email protected]
Christian von Roques [email protected]
Christopher Oliver [email protected]
Daniel Eisenbud [email protected]
+David Ellement [email protected]
Detlef Lannert [email protected]
Ernst Molitor [email protected]
+Fabio Coatti [email protected]
Frank Heckenbach [email protected]
Ga�l Qu�ri [email protected]
Greg Louis [email protected]
@@ -49,9 +51,11 @@ Paul D. Smith [email protected]
Peter Gutmann [email protected]
Ralph Gillen [email protected]
+Roddy Strachan [email protected]
Roland Rosenfeld [email protected]
Serge Munhoven [email protected]
+Stefan Karrmann [email protected]
Steffen Ullrich [email protected]
Steffen Zahn [email protected]
Thomas Roessler [email protected]