Merge branch 'master' of ssh://bonzini@git.sv.gnu.org/srv/git/gnulib
authorPaolo Bonzini <bonzini@gnu.org>
Wed, 20 Aug 2008 08:00:53 +0000 (10:00 +0200)
committerPaolo Bonzini <bonzini@gnu.org>
Wed, 20 Aug 2008 08:00:53 +0000 (10:00 +0200)
commit96ee65902e40c618aa07b6652152ecd5674815f2
treebcc09cb293a401082883c5ad1ec0d1fa58f0b944
parent4ced5d92be93b997c280be8d436e8a49b3b5e0dc
parentae3a0d62f26d8156b403e40d6007475006f3136f
Merge branch 'master' of ssh://bonzini@git.sv.gnu.org/srv/git/gnulib