gnulib: update
authorAkim Demaille <akim@lrde.epita.fr>
Wed, 5 Dec 2012 15:16:17 +0000 (16:16 +0100)
committerAkim Demaille <akim@lrde.epita.fr>
Fri, 7 Dec 2012 08:15:13 +0000 (09:15 +0100)
commitf72721518b2d8201c9d8d64dbdc0d8649d984383
treea541a74df9410286906bd7e74da28d7dcd5a1ce8
parent9960a6ae75842aa7836f39b59e82eef0319338bc
gnulib: update
gnulib