diff --git a/gnulib b/gnulib
index f703b5434..4a1b37a57 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit f703b5434b1eb02c483f631fe23368130ebc3e07
+Subproject commit 4a1b37a5717ddccd31c3516cfb7dba0b9eab2252