X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=THANKS;h=076429d9c4f9c75fb7281327001cf774fe703c69;hb=b8d42f839cb1c553e953807bd2baced6fdd7c616;hp=18024d0a834b962510430a3e8cc7ee855ada4508;hpb=66206e014864cacf1ce620d4e095707efc3fd2b8;p=pspp

diff --git a/THANKS b/THANKS
index 18024d0a83..076429d9c4 100644
--- a/THANKS
+++ b/THANKS
@@ -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.
+