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