Update THANKS.

diff --git a/THANKS b/THANKS
index c099d6e15befc7e1ec776a82fd6fa75399e3bd62..6b7a074220a7f988088b0956808ad384c53f5517 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -107,6 +107,7 @@ has been important. :-) In alphabetical order:
   - Christian von Roques
   - Boud Roukema
   - Torsten Rupp
+  - Stephen Sachs
   - Jukka Salmi
   - Alexandre Sauvé
   - Benno Schulenberg