Thanks, Mike.

diff --git a/THANKS b/THANKS
index 9fdc092..e458a76 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -3,6 +3,7 @@ Contributors since the last release:
            Rob Browning
         Ludovic Courtès
          Julian Graham
+          Mike Gran
          Stefan Jahn
            Neil Jerram
         Gregory Marton