chiark / gitweb /
Merge branch 'master' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Wed, 2 Nov 2016 17:18:02 +0000 (17:18 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Wed, 2 Nov 2016 17:18:02 +0000 (17:18 +0000)
commit7d0bd345d17c6eb04a0f8348b4c8dee85985b29b
tree7c50c6feef9d6449eb63cbfe0f96bd75f5f813e0
parentf90adcc912f82c5ab5075815e6b0419f37fbe6e7
parentaf22f18296baa5dd6cafb5bbf9fdabb2de180273
Merge branch 'master' into 'master'

Scanner: handle utf8 errors more gracefully

Don't throw an error without any info which file caused it.

Fixes #226

See merge request !180