From 280c40a35004c12f14fa60dc2e57b6406bd09692 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 25 Aug 2018 07:47:25 +0200
Subject: [PATCH] gnulib: update

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

diff --git a/gnulib b/gnulib
index dd1a129e..a05181f4 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit dd1a129ef62d10b1eeb4b40ad39771b93f368cec
+Subproject commit a05181f4bd71946662bb38d1e4ae4586b45e1df7