From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 27 Jun 2017 21:54:42 +0000 (-0400)
Subject: README.Git: Recommend newer Gnulib, to avoid GCC 7 segfaults.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b80164ee8687a18b4310854eecc9c29face0ebd2;p=pspp

README.Git: Recommend newer Gnulib, to avoid GCC 7 segfaults.

Reported by Matthias Klose <doko@debian.org>
at https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=853623.

Bug #51318.
---

diff --git a/README.Git b/README.Git
index 123665095b..98ac1a020d 100644
--- a/README.Git
+++ b/README.Git
@@ -36,11 +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 baef0a4b9433d00e59c586b9eaad67d8461d7324
-	Author: Karl Berry <karl@freefriends.org>
-	Date:   Tue Jun 14 09:05:27 2016 -0700
+	commit 9ae75d1450362acb61bfa1f0f77905b76f894838 
+	Author: Bruno Haible <bruno@clisp.org>
+	Date:   Sun Jun 25 11:09:42 2017 +0200
 
-	    autoupdate
+	    stat: Improve last change.
+
+	    * 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: