]> git.ipfire.org Git - thirdparty/json-c.git/commitdiff
Merge pull request #573 from besser82/topic/besser82/coverage
authorChen <50514813+dota17@users.noreply.github.com>
Sat, 11 Apr 2020 01:31:43 +0000 (09:31 +0800)
committerGitHub <noreply@github.com>
Sat, 11 Apr 2020 01:31:43 +0000 (09:31 +0800)
Fix coveralls submission.


Trivial merge