From: Marek Vavruša <marek.vavrusa@nic.cz>
Date: Fri, 10 Apr 2015 09:24:46 +0000 (+0200)
Subject: Merge branch 'coverity_badge'
X-Git-Tag: v1.0.0-beta1~258
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8842548dd10c17d71e35447876abe14d134fba1f;p=thirdparty%2Fknot-resolver.git

Merge branch 'coverity_badge'
---

8842548dd10c17d71e35447876abe14d134fba1f