]> git.ipfire.org Git - thirdparty/bind9.git/commitdiff
Merge branch '3894-emit-coverage-summary-for-the-coverage-badge' into 'main'
authorMark Andrews <marka@isc.org>
Tue, 28 Feb 2023 22:43:14 +0000 (22:43 +0000)
committerMark Andrews <marka@isc.org>
Tue, 28 Feb 2023 22:43:14 +0000 (22:43 +0000)
Resolve "Emit coverage summary for the coverage badge"

Closes #3894

See merge request isc-projects/bind9!7587


Trivial merge