diff --git a/gnulib b/gnulib index f8e2db841..da1717b7f 160000 --- a/gnulib +++ b/gnulib @@ -1 +1 @@ -Subproject commit f8e2db8413d327570ba5b513231ab006c4d0dea9 +Subproject commit da1717b7f93b77469f980ea5e13178e4e9e7ae09