From 2eddbd0ac4798af21c010fb048f9c66094ff027d Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 11 Jul 2020 19:09:41 +0200
Subject: [PATCH] gnulib: update

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

diff --git a/gnulib b/gnulib
index 12c89745..cf6d5db1 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 12c89745e39fb7b7dbdba732393dd0251202cadb
+Subproject commit cf6d5db1271b36de3c9a4759e9382579a710d422