Update Gnulib

diff --git a/gnulib b/gnulib
index 94ee038129c3b40510ef0ff6ac6ddfe85bf0f97f..71be4c87c8267369f40fbfab7523ab9847154c02 160000 (submodule)
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 94ee038129c3b40510ef0ff6ac6ddfe85bf0f97f
+Subproject commit 71be4c87c8267369f40fbfab7523ab9847154c02