diff options
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -155,6 +155,7 @@ Jungshik Shin jshin@pantheon.yale.edu Jürgen Fluk louis@dachau.marco.de jvogel jvogel@linkny.com Kai-Uwe Rommel rommel@informatik.tu-muenchen.de +Kai Henningsen kaih@khms.westfalen.de Kalle Olavi Niemitalo tosi@stekt.oulu.fi Kamal Paul Nigam Kamal_Paul_Nigam@gs35.sp.cs.cmu.edu Karl Eichwalder keichwa@gmx.net |