]> granicus.if.org Git - json-c/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