From 78c7fb64600a37f077fdb2e5f83e67a94f64edd4 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 9 May 2020 10:26:31 +0200
Subject: [PATCH] gnulib: update

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

diff --git a/gnulib b/gnulib
index 2ac33b29..ffbb0ced 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 2ac33b29fc09f72a18eb08829eb142eb86428747
+Subproject commit ffbb0ced8b2a01c2e355fa7d41db1232453f28b5