X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=README.Git;fp=README.Git;h=8202f03b591c4b34ce89f5b62d47e8b4d6a7df5b;hb=1c5d2755b719a8598eb78a15fc7b090b9a9c7d75;hp=93bf5aebcdada7f1370ad33c6c74ffe8de7ab6bf;hpb=f1141d27ca616a8c8edc2a1f18067085ceaaf448;p=pspp

diff --git a/README.Git b/README.Git
index 93bf5aebcd..8202f03b59 100644
--- a/README.Git
+++ b/README.Git
@@ -36,14 +36,14 @@ 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 d6dabe8eece3a9c1269dc1c084531ce447c7a42e (HEAD -> master, origin/master, origin/HEAD)
+ commit 0edaafc813caff4101c58405c6ab279597afc0b9
  Author: Bruno Haible <bruno@clisp.org>
- Date:   Sun Aug 9 12:36:37 2020 +0200
+ Date:   Sat Oct 10 22:52:22 2020 +0200
 
-    Use __builtin_signbit* with clang.
+     *-list, *-oset, *-omap: Avoid possible compiler warnings.
 
-    * lib/math.in.h (signbit): Use __builtin_signbit{,f,l} also on clang.
+     Reported by Marc Nieper-Wißkirchen in
+     <https://lists.gnu.org/r/bug-gnulib/2020-10/msg00025.html>.
 
 To clone Gnulib into a directory named "gnulib" using Git, and then
 check out this particular commit, run these commands: