Commit 73f8daa0b9d0734153d19f9bb44d9c679df5d9c1

Stefano Lattarini 2011-06-13T11:07:20

Merge branch 'silent-rules-doc' into maint