Thank Amirouche.

diff --git a/THANKS b/THANKS
index d8968b7..9a120ea 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -10,6 +10,7 @@ infrastructure help:
          Federico Beffa <beffa@ieee.org>
             Marek Benc <merkur32@gmail.com>
           Sylvain Beucler <beuc@beuc.net>
+        Amirouche Boubekki <amirouche.boubekki@gmail.com>
           Carlos Carleos <carleos@uniovi.es>
           Felipe Castro <fefcas@gmail.com>
           Daniel Clark <dclark@pobox.com>