Commit fcd7733ded0d294ed91287a5188e8b7fac92104d

Vicent Martí 2013-02-14T12:49:46

Merge pull request #1318 from nulltoken/topic/diff-tree-coverage Topic/diff tree coverage