diff options
-rw-r--r-- | docs/THANKS | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/THANKS b/docs/THANKS index 81fd21f9b..5246187b1 100644 --- a/docs/THANKS +++ b/docs/THANKS @@ -82,3 +82,8 @@ that have contributed with non-trivial parts: - Andreas Damm <andreas-sourceforge@radab.org> - Jacky Lam <sylam@emsoftltd.com> - James Gallagher <jgallagher@gso.uri.edu> + - Kjetil Jacobsen <kjetilja@cs.uit.no> + - Markus F.X.J. Oberhumer <markus@oberhumer.com> + - Miklos Nemeth <mnemeth@kfkisystems.com> + - Kevin Roth <kproth@users.sourceforge.net> + - Ralph Mitchell <rmitchell@eds.com> |