From fe977936591dd35c7ce5f3ff497267abec009df0 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Fri, 7 Dec 2018 18:37:12 +0100
Subject: [PATCH] gnulib: update

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

diff --git a/gnulib b/gnulib
index 22693f63..84ecdde6 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 22693f63eaab748233749c957e7d853654c96cdb
+Subproject commit 84ecdde6009386e0754e45cc12871e99caa6d9aa