Commit 3d8d5ec1c85f43aaa78e373dfe30f5d397cd5819

Stefano Lattarini 2011-01-11T22:50:21

Merge branch 'tests-autodist' into maint