From 44cdc0f001268a93ede62a94062becdd0cc73860 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Tue, 19 Nov 2019 21:15:00 +0100
Subject: [PATCH] gnulib: update

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

diff --git a/gnulib b/gnulib
index 7df8de3a..a4740cc6 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 7df8de3a726d2cedfa6a20c8b857dd51d54f382d
+Subproject commit a4740cc6fa277fb41aab06563657458e03ab0346