Merge pull request #907 from terrelln/travis
authorYann Collet <Cyan4973@users.noreply.github.com>
Mon, 24 Aug 2020 19:20:10 +0000 (12:20 -0700)
committerGitHub <noreply@github.com>
Mon, 24 Aug 2020 19:20:10 +0000 (12:20 -0700)
[CI][ossfuzz] Fix string equal


Trivial merge