X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=THANKS;h=ecb3a7bd148a0f0a8ae948b78bf27f7e0fe0ba73;hb=refs%2Fheads%2Fspv3;hp=630f4c50a08ae7e4726a245439004a1fe1e24b64;hpb=fe7fdc98b6967092d02a98227080865e0c8e22ec;p=pspp

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.