Update THANKS.

diff --git a/THANKS b/THANKS
index b13503e2d36060a6cdbf8137f9edd2a33721dbb2..1dfbcaf12962c00c558317fcc5f3d684f17d87ab 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -6,6 +6,7 @@ Some people have helped more, some less, but nevertheless everyone's help
 has been important. :-) In alphabetical order:
   - Mark Adler
   - H. Peter Anvin
+  - Jeff Bastian
   - Nelson H. F. Beebe
   - Karl Berry
   - Anders F. Björklund
@@ -58,6 +59,7 @@ has been important. :-) In alphabetical order:
   - Diego Elio Pettenò
   - Elbert Pol
   - Mikko Pouru
+  - Pavel Raiskup
   - Robert Readman
   - Bernhard Reutner-Fischer
   - Cristian Rodríguez