diff --git a/gnulib b/gnulib
index 88776ceb..9f0ade08 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 88776ceb6f7a888e2ee6ccf81958a90ec1cee3c2
+Subproject commit 9f0ade083bf3250281cbf454da656a28270a0be5