gnulib: update
authorAkim Demaille <akim@lrde.epita.fr>
Tue, 17 Jul 2012 07:49:57 +0000 (09:49 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Tue, 17 Jul 2012 07:49:57 +0000 (09:49 +0200)
commitea6a2d96dbfbee56a1e33c1537617dc2e50af715
tree12e9dabc8d8ecf4a338873b0b0df6284a4728f18
parentae63f0e8e25712df48ba089c1cbefac7373a15ab
gnulib: update
gnulib