]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'manager-tooling-fixes' into 'manager'
authorVaclav Sraier <vaclav.sraier@nic.cz>
Wed, 26 Jan 2022 12:24:25 +0000 (13:24 +0100)
committerAleš Mrázek <ales.mrazek@nic.cz>
Fri, 8 Apr 2022 14:17:53 +0000 (16:17 +0200)
manager: tooling fixes & ci integration

See merge request knot/knot-resolver!1249


Trivial merge