Update THANKS

diff --git a/THANKS b/THANKS
index aef78eb1eed9e86e51e4f399a715550801a30112..efbce6062cdf6a32f5444e8e345baef96fdc927b 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