Update THANKS

(cherry picked from commit 664918bd3635ea8e773f06022286ecb0c485166c)

diff --git a/THANKS b/THANKS
index aee1183abfc5a4e06d903840ca6913c53396af53..7ce1750118e40f366b91ae5b87d6cc35d03d7338 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -113,6 +113,7 @@ has been important. :-) In alphabetical order:
   - Rafał Mużyło
   - Adrien Nader
   - Evan Nemerson
+  - Alexander Neumann
   - Hongbo Ni
   - Jonathan Nieder
   - Andre Noll
@@ -121,6 +122,7 @@ has been important. :-) In alphabetical order:
   - Daniel Packard
   - Filip Palian
   - Peter Pallinger
+  - Kai Pastor
   - Rui Paulo
   - Igor Pavlov
   - Diego Elio Pettenò
@@ -145,6 +147,7 @@ has been important. :-) In alphabetical order:
   - Alexandre Sauvé
   - Benno Schulenberg
   - Andreas Schwab
+  - Eli Schwartz
   - Bhargava Shastry
   - Dan Shechter
   - Stuart Shelton