X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=README.Git;h=98ac1a020dab09c0e9cca85e2f4e832cfa6ffc8e;hb=e24d171d4ca100fa55c5390916e3e97eb31a29e8;hp=c314e73f423a220e11e3dea0fe87b9e1ff4f9897;hpb=ab97e700f033db654e2f44919c73973d13b0c522;p=pspp

diff --git a/README.Git b/README.Git
index c314e73f42..98ac1a020d 100644
--- a/README.Git
+++ b/README.Git
@@ -21,7 +21,7 @@ following:
 
 	* libtool 1.5.22 (or later).
 
-	* Texinfo 4.7 or later, to build the documentation.
+	* Texinfo 5.2 or later, to build the documentation.
 
 	* Gimp --  2.8.2 is known to work
 
@@ -36,14 +36,13 @@ This version of PSPP should work with the Gnulib commit shown below.
 Gnulib does not maintain a stable API or ABI, so it is possible that
 PSPP will not work with older or newer versions of Gnulib.
 
-	commit c5c4f53b31f1ad04f4033a6124120ffec9257847
-	Author: Pádraig Brady <P@draigBrady.com>
-	Date:   Sat Dec 6 01:14:02 2014 +0000
+	commit 9ae75d1450362acb61bfa1f0f77905b76f894838 
+	Author: Bruno Haible <bruno@clisp.org>
+	Date:   Sun Jun 25 11:09:42 2017 +0200
 
-	    vasnprintf: fix potential use after free
+	    stat: Improve last change.
 
-	    * lib/vasnprintf.c (VASNPRINTF): Fix free-memory read,
-	    flagged by clang-analyzer 3.4.2.
+	    * lib/stat-w32.c: Revert last change. Use generic idiom instead.
 
 To clone Gnulib into a directory named "gnulib" using Git, and then
 check out this particular commit, run these commands: