Update THANKS.

(cherry picked from commit 1824a6007cb1c8d5d7abcc7bf649148bc06fa72c)

diff --git a/THANKS b/THANKS
index 79e2eb39b043edfd3d59ba8535fa8485c640161b..96d921b122fb4536b0e0ef6d6b9ca65b59cbabf6 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -135,6 +135,7 @@ has been important. :-) In alphabetical order:
   - Brad Smith
   - Bruce Stark
   - Pippijn van Steenhoven
+  - Martin Storsjö
   - Jonathan Stott
   - Dan Stromberg
   - Jia Tan