diff --git a/gnulib b/gnulib index 5bb169c3..25ca8d5f 160000 --- a/gnulib +++ b/gnulib @@ -1 +1 @@ -Subproject commit 5bb169c3be1f80fb22ee63d51b43dfdb1ac22d2a +Subproject commit 25ca8d5facd519f3491833b133f23bf35773bed9