Update THANKS.

diff --git a/THANKS b/THANKS
index a213a7900423282f058e2a2e3d5834de74fefc55..6c677357d58fb1322e80ace09292c4c78359fdba 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -35,6 +35,7 @@ has been important. :-) In alphabetical order:
   - Juan Manuel Guerrero
   - Joachim Henke
   - Christian Hesse
+  - Vincenzo Innocente
   - Peter Ivanov
   - Jouk Jansen
   - Per Øyvind Karlsen