From: Petr Špaček <pspacek@isc.org>
Date: Tue, 18 Oct 2022 11:51:23 +0000 (+0000)
Subject: Merge branch 'pspacek/ci-no-developer-mode' into 'main'
X-Git-Tag: v9.19.7~51
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f2ed208db907ef5ddbb4eb1342027ed66d422381;p=thirdparty%2Fbind9.git

Merge branch 'pspacek/ci-no-developer-mode' into 'main'

Add CI job with --disable-developer

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

f2ed208db907ef5ddbb4eb1342027ed66d422381