From f72721518b2d8201c9d8d64dbdc0d8649d984383 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim@lrde.epita.fr>
Date: Wed, 5 Dec 2012 16:16:17 +0100
Subject: [PATCH] gnulib: update

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

diff --git a/gnulib b/gnulib
index e6575738..c457e702 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit e657573866e8aded3b3b1461c346cf9ad02a5148
+Subproject commit c457e702babb79026dd57036e0652e141f58f72d
-- 
2.50.0