diff --git a/gnulib b/gnulib index 17febe776..3e07d5d60 160000 --- a/gnulib +++ b/gnulib @@ -1 +1 @@ -Subproject commit 17febe7763c9ef38ed1ced5f08f022168e198929 +Subproject commit 3e07d5d60bee7d0e6fc0d79e974ce5a8dc7dea61