From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 4 Apr 2021 18:08:42 +0000 (+0200)
Subject: Mention Harry Thijssen in THANKS
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=b8d42f839cb1c553e953807bd2baced6fdd7c616

Mention Harry Thijssen in THANKS
---

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.
+