X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=THANKS;h=076429d9c4f9c75fb7281327001cf774fe703c69;hb=refs%2Fheads%2Fctables7;hp=ecb3a7bd148a0f0a8ae948b78bf27f7e0fe0ba73;hpb=68efc021de4f7b5d7b0e1fb7d387d995009f7de6;p=pspp

diff --git a/THANKS b/THANKS
index ecb3a7bd14..076429d9c4 100644
--- a/THANKS
+++ b/THANKS
@@ -1,7 +1,7 @@
 Thanks to...
 
      * The Gnulib team for painstaking work to enable portability.
-                                       
+
      * David MacKenzie for writing Autoconf, the automatic configuration
        tool.
 
@@ -16,3 +16,7 @@ Thanks to...
      * Jim Van Zandt and "Bojo" for Debian packaging and suggestions.
 
      * The coordinators and translators at translationproject.org.
+
+     * Harry Thijssen who for many years produced and published binary
+       builds for Microsoft Windows systems.
+