Update THANKS.
diff --git a/THANKS b/THANKS
index 05d20bd..dff9557 100644
--- a/THANKS
+++ b/THANKS
@@ -74,6 +74,7 @@
   - Mikko Pouru
   - Trần Ngọc Quân
   - Pavel Raiskup
+  - Ole André Vadla Ravnås
   - Robert Readman
   - Bernhard Reutner-Fischer
   - Eric S. Raymond