From 9bdff3d271050ce0c4573ea0926e7999203ae09b Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Thu, 27 Sep 2018 06:48:00 +0200 Subject: [PATCH] gnulib: update --- gnulib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnulib b/gnulib index 7897cfcc..0782fa4d 160000 --- a/gnulib +++ b/gnulib @@ -1 +1 @@ -Subproject commit 7897cfcc132acf326f3b92a09fd1952eca7e7682 +Subproject commit 0782fa4dc036a709d5501a8712c5331489c28be9