summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS3
1 files changed, 2 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index 077c003d7de..ea0eb732953 100644
--- a/THANKS
+++ b/THANKS
@@ -1105,7 +1105,8 @@ Kent Stewart <kbstew99@hotmail.com>
Alexander Kogan <jk@kogan.nnov.ru>
Michael Lindner <mikel@att.net>
Arnaud Compan <compan@ipanematech.com>
-Frank A. Hunleth" <fhunleth@cs.wustl.edu>
+Frank A. Hunleth <fhunleth@cs.wustl.edu>
+Michael Searles <msearles@base16.com>
Bogdan Jeram <bjeram@eso.org>
I would particularly like to thank Paul Stephenson, who worked with me