Update THANKS.

diff --git a/THANKS b/THANKS
index 36b2e74c9fecbcaf7413b6edd58ca735b410e221..79a24f2537ec26433b4637ada167ad4e9cc74874 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -20,6 +20,7 @@ has been important. :-) In alphabetical order:
   - Daniel Mealha Cabrita
   - Milo Casagrande
   - Marek Černocký
+  - Tomer Chachamu
   - Chris Donawa
   - Andrew Dudman
   - Markus Duft