]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge !701: CI clang tools: 5.0 -> 7.0
authorVladimír Čunát <vladimir.cunat@nic.cz>
Thu, 15 Nov 2018 14:03:02 +0000 (14:03 +0000)
committerVladimír Čunát <vladimir.cunat@nic.cz>
Thu, 15 Nov 2018 14:03:02 +0000 (14:03 +0000)

Trivial merge