Updated THANKS.

diff --git a/THANKS b/THANKS
index a9a22083e1955574850e5101c4bc2ab6edebe78f..f904e39676ad51efffc7bc543df1663479efb236 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -10,6 +10,7 @@ has been important. :-) In alphabetical order:
   - Karl Berry
   - Anders F. Björklund
   - Emmanuel Blot
+  - Martin Blumenstingl
   - Trent W. Buck
   - David Burklund
   - Daniel Mealha Cabrita