Merge pull request #9903 from yuwata/fuzzer-10007
authorYu Watanabe <watanabe.yu+github@gmail.com>
Wed, 22 Aug 2018 13:25:38 +0000 (22:25 +0900)
committerGitHub <noreply@github.com>
Wed, 22 Aug 2018 13:25:38 +0000 (22:25 +0900)
Fixes issue 10007 by oss-fuzz


Trivial merge