From 1ee41a50d9edc99daa0501afc001e69d97a18460 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sat, 16 Sep 2017 13:42:15 -0700
Subject: [PATCH] gnulib: update

---
 gnulib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnulib b/gnulib
index 5bb169c3..25ca8d5f 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 5bb169c3be1f80fb22ee63d51b43dfdb1ac22d2a
+Subproject commit 25ca8d5facd519f3491833b133f23bf35773bed9