From: Mark Andrews <marka@isc.org>
Date: Wed, 1 Mar 2023 00:57:07 +0000 (+0000)
Subject: Merge branch '3894-emit-coverage-summary-for-the-coverage-badge-v9_18' into 'v9_18'
X-Git-Tag: v9.18.13~7
X-Git-Url: http://git.ipfire.org/gitweb/?a=commitdiff_plain;h=2f808b76e5208a39cc17d183e053254547597ea1;p=thirdparty%2Fbind9.git

Merge branch '3894-emit-coverage-summary-for-the-coverage-badge-v9_18' into 'v9_18'

[9.18] Resolve "Emit coverage summary for the coverage badge"

See merge request isc-projects/bind9!7628
---

2f808b76e5208a39cc17d183e053254547597ea1