gnulib: update
authorAkim Demaille <akim@lrde.epita.fr>
Fri, 19 Oct 2012 09:36:18 +0000 (11:36 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Fri, 19 Oct 2012 10:56:48 +0000 (12:56 +0200)
commit73c2a97540abb81b508c0fc5f3fef46a1b3ee799
treef9c418b63dffbe4df40f1db55a8d3ff362665a40
parenta8ad0481429ae03239cddc9ec31930b32de41830
gnulib: update
gnulib