Commit 79e09e1a937155188c7e16596abd0b0c10eb3590

Carlos Martín Nieto 2017-10-29T13:16:09

Merge pull request #3944 from mhagger/diff-indent-heuristic Implement a diff indent heuristic