Fix for lint failing when no linting errors#423
Merged
peterschrammel merged 2 commits intodiffblue:masterfrom Jan 11, 2017
Merged
Fix for lint failing when no linting errors#423peterschrammel merged 2 commits intodiffblue:masterfrom
peterschrammel merged 2 commits intodiffblue:masterfrom
Commits
Commits on Jan 11, 2017
- committed
thk123 - committedthk123