From 2a4e9a358f29d125f757ce60221d5323bf54848e Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 5 Sep 2020 17:44:38 +0200
Subject: [PATCH] gnulib: update

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

diff --git a/gnulib b/gnulib
index 175e0bc7..a83f488b 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 175e0bc72808d564074c4adcc72aeadb74adfcc6
+Subproject commit a83f488ba4eb1ce8fd072bf087e87aca6ab1ee79