Commit cb3e1296ac8a01fcf4b38d10584f218722655e1c

Stefano Lattarini 2011-06-23T10:34:39

Merge branch 'maint' * maint: tests: fix bug in 'autodist.test'