Merge pull request #136 from HansBrende/ANY23-415
authorHans Brende <firedrake93@gmail.com>
Sat, 9 Feb 2019 21:40:07 +0000 (15:40 -0600)
committerGitHub <noreply@github.com>
Sat, 9 Feb 2019 21:40:07 +0000 (15:40 -0600)
ANY23-415 avoid n-triples errors for humans.txt files, etc


Trivial merge