Update THANKS

diff --git a/THANKS b/THANKS
index f1044ea6a4e351576b8441953591ab550ceb9c05..e1c21ebfe5d22a6683f30bef678c3414012de49f 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -17,6 +17,7 @@ has been important. :-)
   - Andraž 'ruskie' Levstik
   - Andre Noll
   - Andreas K. Hüttel
+  - Andreas Müller
   - Andreas Schwab
   - Andreas Zieringer
   - Andrej Skenderija