]> git.ipfire.org Git - thirdparty/knot-dns.git/commitdiff
Merge branch 'semcheck_glue' into 'master'
authorDaniel Salzman <daniel.salzman@nic.cz>
Fri, 23 Aug 2019 15:19:02 +0000 (15:19 +0000)
committerDaniel Salzman <daniel.salzman@nic.cz>
Fri, 23 Aug 2019 15:19:02 +0000 (15:19 +0000)
Semcheck glue

See merge request knot/knot-dns!1051


Trivial merge