From d18f78b86bf30fa0b089e6b7495db5b529a911f9 Mon Sep 17 00:00:00 2001
From: Darshit Shah <darnir@gnu.org>
Date: Mon, 15 Oct 2018 14:00:18 +0200
Subject: [PATCH] * gnulib: Update library

---
 bootstrap | 7 ++-----
 gnulib    | 2 +-
 2 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/bootstrap b/bootstrap
index 22db9922..25920e99 100755
--- a/bootstrap
+++ b/bootstrap
@@ -688,11 +688,8 @@ if $bootstrap_sync; then
   }
 fi
 
-gnulib_tool=$GNULIB_SRCDIR/gnulib-tool.py
-if ! <$gnulib_tool; then
-  gnulib_tool=$GNULIB_SRCDIR/gnulib-tool
-  <$gnulib_tool || exit $?
-fi
+gnulib_tool=$GNULIB_SRCDIR/gnulib-tool
+<$gnulib_tool || exit $?
 
 # Get translations.
 
diff --git a/gnulib b/gnulib
index 73b4150c..a79f2a28 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 73b4150cce3060d6100f50c949bb0b2980e71821
+Subproject commit a79f2a2871a063a35e7865f1269ae15576f23419