Update THANKS.

diff --git a/THANKS b/THANKS
index 05d20bdf34497c3c1468ab42507ae8ce3ec9c1c3..dff95570f8643ee6426d02c7d50bc2f068b97299 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -74,6 +74,7 @@ has been important. :-) In alphabetical order:
   - Mikko Pouru
   - Trần Ngọc Quân
   - Pavel Raiskup
+  - Ole André Vadla Ravnås
   - Robert Readman
   - Bernhard Reutner-Fischer
   - Eric S. Raymond