Update THANKS.
diff --git a/THANKS b/THANKS index db8ded6..05d20bd 100644 --- a/THANKS +++ b/THANKS
@@ -67,6 +67,7 @@ - Andre Noll - Peter O'Gorman - Peter Pallinger + - Rui Paulo - Igor Pavlov - Diego Elio Pettenò - Elbert Pol
