X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=THANKS;h=076429d9c4f9c75fb7281327001cf774fe703c69;hb=refs%2Fheads%2Fctables10;hp=18024d0a834b962510430a3e8cc7ee855ada4508;hpb=facb4a1ad3c9e8b2cdf55824680eed2afb91aebe;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.
+