From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 19 Jun 2016 11:36:48 +0000 (+0200)
Subject: Update the Gnulib version
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7bdd493c1a1b2c62ed14b355de52517530be1496;p=pspp

Update the Gnulib version

The primary motive for doing this is to update gl/version_etc which changes
the copyright year to 2016.  This is the value which gets displayed by --version
I do not think it is ideal that we must update gnulib to get the current year
in our version string, but I did not design this aspect of the code.
---

diff --git a/README.Git b/README.Git
index 8333600457..123665095b 100644
--- a/README.Git
+++ b/README.Git
@@ -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: