Commit 8d3466c80bf79be7770e41fabfb886b0eadd2acb

Stefano Lattarini 2011-12-10T00:58:13

Merge branch 'master' into testsuite-work