Update THANKS.

diff --git a/THANKS b/THANKS
index 56409ee3f75799b9f55e1bfa066a091b918fb9ad..6bcc0edac53948c07dc8f07afb561d72c3d71965 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -104,6 +104,7 @@ has been important. :-) In alphabetical order:
   - Markus Rickert
   - Cristian Rodríguez
   - Christian von Roques
+  - Boud Roukema
   - Torsten Rupp
   - Jukka Salmi
   - Alexandre Sauvé