Merge "CI: Add support for coverage processing."
authorJenkins2 <jenkins2@gerrit.asterisk.org>
Tue, 14 Aug 2018 12:34:13 +0000 (07:34 -0500)
committerGerrit Code Review <gerrit2@gerrit.digium.api>
Tue, 14 Aug 2018 12:34:13 +0000 (07:34 -0500)

Trivial merge