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