Commit 96ee65902e40c618aa07b6652152ecd5674815f2

Paolo Bonzini 2008-08-20T10:00:53

Merge branch 'master' of ssh://bonzini@git.sv.gnu.org/srv/git/gnulib