Commit 2136240dbd35cf2b4308f92008a24c0c36665811

Carlos Martín Nieto 2015-01-20T20:13:34

Merge pull request #2828 from ethomson/treediff_dont_patch diff: only compute patches when requested