Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #251 from gkreitz/crash_on_non_utf8_io_files
Fix crash in verifyproblem when in or ans files are not utf-8
- Loading branch information