1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 09b79b92..36a9b4d4 100644
--- a/THANKS
+++ b/THANKS
@@ -38,5 +38,6 @@ suggesting improvements or submitting changes. Some of these people are:
  * Curt Arnold <carnold@apache.org>
  * Gustavo Niemeyer
  * Joshua Bronson <jabronson@gmail.com>
+ * Kostis Sagonas <kostis@cs.ntua.gr>
 
 For a list of authors see the `AUTHORS` file.