Fixes #2857: Revision tree repair tool #2866 (1.4 backport)#2868
Merged
tleyden merged 3 commits intorelease/1.4.1.2from feature/issue_2847_repair_tool_14Aug 31, 2017
+541-4
Commits
Commits on Aug 31, 2017
- committedTraun Leyden
- committedTraun Leyden