From c7fe52e5145ce03e16d7b261b40a636dd78e39b7 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Tue, 16 Oct 2018 21:07:04 +0200 Subject: [PATCH] gnulib: update --- gnulib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnulib b/gnulib index b159aa5d..a79f2a28 160000 --- a/gnulib +++ b/gnulib @@ -1 +1 @@ -Subproject commit b159aa5da7e1aa7abeb2f77ba644aa164d25a46d +Subproject commit a79f2a2871a063a35e7865f1269ae15576f23419