Update THANKS

(cherry picked from commit 5742ec1fc7f2cf1c82cfe3477bb90594a4658374)

diff --git a/THANKS b/THANKS
index 7ce1750118e40f366b91ae5b87d6cc35d03d7338..a47f9ff18e46cac23db267c808b7831a8b832a59 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -148,6 +148,7 @@ has been important. :-) In alphabetical order:
   - Benno Schulenberg
   - Andreas Schwab
   - Eli Schwartz
+  - Peter Seiderer
   - Bhargava Shastry
   - Dan Shechter
   - Stuart Shelton