From 40a8dddde13c469bd42db2c9108289c06bb91217 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sun, 7 Jul 2019 12:22:02 +0200 Subject: [PATCH] gnulib: update Contains a fix for argmatch to get proper man pages. See https://lists.gnu.org/archive/html/bug-gnulib/2019-07/msg00038.html --- gnulib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnulib b/gnulib index 65b3308b..ee77e5c1 160000 --- a/gnulib +++ b/gnulib @@ -1 +1 @@ -Subproject commit 65b3308bb67777a8e42b0d5a4550a62562790e10 +Subproject commit ee77e5c1fef322b8c0a6596aa9b2c43323eff4d1