Update THANKS

diff --git a/THANKS b/THANKS
index 9af8127520b5b130e5d0d6b2f5665b10f8ff0a16..4118c3be48158bb21af7f8ab881d7ca67b5e8868 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -30,6 +30,7 @@ has been important. :-) In alphabetical order:
   - Frank Busse
   - Daniel Mealha Cabrita
   - Milo Casagrande
+  - Cristiano Ceglia
   - Marek Černocký
   - Tomer Chachamu
   - Vitaly Chikunov