From: Paolo Bonzini Date: Wed, 20 Aug 2008 08:00:53 +0000 (+0200) Subject: Merge branch 'master' of ssh://bonzini@git.sv.gnu.org/srv/git/gnulib X-Git-Tag: v0.1~7135 X-Git-Url: http://erislabs.org.uk/gitweb/?a=commitdiff_plain;h=96ee65902e40c618aa07b6652152ecd5674815f2;p=gnulib.git Merge branch 'master' of ssh://bonzini@git.sv.gnu.org/srv/git/gnulib --- 96ee65902e40c618aa07b6652152ecd5674815f2