gnulib: update
authorAkim Demaille <akim@lrde.epita.fr>
Mon, 30 Jul 2012 09:10:36 +0000 (11:10 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Mon, 30 Jul 2012 09:17:44 +0000 (11:17 +0200)
commitd35d6dd2cd153a88dd903d85882a9c190c5e607e
tree9b15cddeada36a590957a7de9139c256cbee1f59
parent466a2de317ceac0734e25f7a8314ec9ad2735ba5
gnulib: update
gnulib