gnulib: update

author Akim Demaille <akim@lrde.epita.fr>

Wed, 5 Dec 2012 15:16:17 +0000 (16:16 +0100)

committer Akim Demaille <akim@lrde.epita.fr>

Fri, 7 Dec 2012 08:15:13 +0000 (09:15 +0100)
author Akim Demaille <akim@lrde.epita.fr>
Wed, 5 Dec 2012 15:16:17 +0000 (16:16 +0100)
committer Akim Demaille <akim@lrde.epita.fr>
Fri, 7 Dec 2012 08:15:13 +0000 (09:15 +0100)
diff --git a/gnulib b/gnulib

index e657573866e8aded3b3b1461c346cf9ad02a5148..c457e702babb79026dd57036e0652e141f58f72d 160000 (submodule)
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit e657573866e8aded3b3b1461c346cf9ad02a5148
+Subproject commit c457e702babb79026dd57036e0652e141f58f72d
author	Akim Demaille <akim@lrde.epita.fr>
	Wed, 5 Dec 2012 15:16:17 +0000 (16:16 +0100)
committer	Akim Demaille <akim@lrde.epita.fr>
	Fri, 7 Dec 2012 08:15:13 +0000 (09:15 +0100)