X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=README.Git;h=123665095b0e9a0f3d623251e414cf8c5385146b;hb=9a4fd397b9ef95cbeb033cd7d92a3bebfe8709fc;hp=c314e73f423a220e11e3dea0fe87b9e1ff4f9897;hpb=3ccf4f19ece6c4da5a2d13173c032011faf330b8;p=pspp

diff --git a/README.Git b/README.Git
index c314e73f42..123665095b 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,11 @@ 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 baef0a4b9433d00e59c586b9eaad67d8461d7324
+	Author: Karl Berry <karl@freefriends.org>
+	Date:   Tue Jun 14 09:05:27 2016 -0700
 
-	    vasnprintf: fix potential use after free
-
-	    * lib/vasnprintf.c (VASNPRINTF): Fix free-memory read,
-	    flagged by clang-analyzer 3.4.2.
+	    autoupdate
 
 To clone Gnulib into a directory named "gnulib" using Git, and then
 check out this particular commit, run these commands: