]> git.ipfire.org Git - thirdparty/knot-dns.git/commitdiff
Merge branch 'knotc_semcheck_warning' into 'master'
authorDaniel Salzman <daniel.salzman@nic.cz>
Wed, 22 May 2019 18:19:12 +0000 (18:19 +0000)
committerDaniel Salzman <daniel.salzman@nic.cz>
Wed, 22 May 2019 18:19:12 +0000 (18:19 +0000)
Knotc semcheck warning

Closes #643

See merge request knot/knot-dns!1011


Trivial merge