From bb311cfbed533efda6761d76f111933ff4986db8 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sun, 31 May 2020 12:48:40 +0200
Subject: [PATCH] gnulib: update

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

diff --git a/gnulib b/gnulib
index 6f3f3992..d8a8fb34 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 6f3f39926b3de346695e6213b9378c643dc47817
+Subproject commit d8a8fb3423499851bf06aac2302112944a276f97