From: John Darrington <john@darrington.wattle.id.au>
Date: Mon, 18 Jan 2016 16:18:02 +0000 (+0100)
Subject: Convert THANKS file to utf8
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=68efc021de4f7b5d7b0e1fb7d387d995009f7de6

Convert THANKS file to utf8
---

diff --git a/THANKS b/THANKS
index 630f4c50a0..ecb3a7bd14 100644
--- a/THANKS
+++ b/THANKS
@@ -11,7 +11,7 @@ Thanks to...
      * Ulrich Drepper et al for writing gettext, the GNU
        internationalization package.
 
-     * François Pinard for advice on proceeding with development.
+     * François Pinard for advice on proceeding with development.
 
      * Jim Van Zandt and "Bojo" for Debian packaging and suggestions.