Update THANKS.

diff --git a/THANKS b/THANKS
index e25f6935e6856cb7bed1489931fcc6cc5dbf2ca0..787a13bfa4186e3e27332aa5c328ae60f933a43a 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
@@ -61,6 +62,7 @@ has been important. :-) In alphabetical order:
   - Diego Elio Pettenò
   - Elbert Pol
   - Mikko Pouru
+  - Pavel Raiskup
   - Robert Readman
   - Bernhard Reutner-Fischer
   - Cristian Rodríguez