Merge pull request #10736 from yuwata/coredump-comment
authorLennart Poettering <lennart@poettering.net>
Mon, 12 Nov 2018 10:42:16 +0000 (11:42 +0100)
committerGitHub <noreply@github.com>
Mon, 12 Nov 2018 10:42:16 +0000 (11:42 +0100)
fuzz: fix oss-fuzz#8658


Trivial merge