Updated THANKS.

diff --git a/THANKS b/THANKS
index 4f79e47..da8f088 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -12,6 +12,7 @@ has been important. :-) In alphabetical order:
   - Emmanuel Blot
   - Trent W. Buck
   - David Burklund
+  - Daniel Mealha Cabrita
   - Marek Černocký
   - Andrew Dudman
   - Markus Duft