Skip to content

Fixed crash on non-ascii diff#644

Merged
kroening merged 1 commit intodiffblue:masterfrom
thk123:bugfix/lint-non-ascii-crash
Mar 15, 2017
Merged

Fixed crash on non-ascii diff#644
kroening merged 1 commit intodiffblue:masterfrom
thk123:bugfix/lint-non-ascii-crash

Commits

Commits on Mar 15, 2017