diff --git a/THANKS b/THANKS
index f1044ea6..e1c21ebf 100644
--- 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