Updated THANKS.

diff --git a/THANKS b/THANKS
index 65c267f..a9a2208 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -47,6 +47,7 @@ has been important. :-) In alphabetical order:
   - Mikko Pouru
   - Robert Readman
   - Bernhard Reutner-Fischer
+  - Cristian Rodríguez
   - Christian von Roques
   - Jukka Salmi
   - Alexandre Sauvé