Updated THANKS.

diff --git a/THANKS b/THANKS
index 8714040..47779ce 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -25,6 +25,7 @@ has been important. :-) In alphabetical order:
   - Hongbo Ni
   - Jonathan Nieder
   - Igor Pavlov
+  - Elbert Pol
   - Mikko Pouru
   - Bernhard Reutner-Fischer
   - Christian von Roques