]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'coverity_badge'
authorMarek Vavruša <marek.vavrusa@nic.cz>
Fri, 10 Apr 2015 09:24:46 +0000 (11:24 +0200)
committerMarek Vavruša <marek.vavrusa@nic.cz>
Fri, 10 Apr 2015 09:24:46 +0000 (11:24 +0200)

Trivial merge