diff --git a/gnulib b/gnulib index ecc5d3e1..875ec93e 160000 --- a/gnulib +++ b/gnulib @@ -1 +1 @@ -Subproject commit ecc5d3e148115ba09409139d4d6db810b5a270aa +Subproject commit 875ec93e1501d2d2a8bab1b64fa66b8ceb51dc67