Update THANKS.

diff --git a/THANKS b/THANKS
index 77c60778b13fc0456e816687a312afee43dd774a..a213a7900423282f058e2a2e3d5834de74fefc55 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