From: Petr Špaček <petr.spacek@nic.cz>
Date: Wed, 11 Oct 2017 14:09:28 +0000 (+0200)
Subject: Merge branch 'ci-deckard-valgrind' into 'master'
X-Git-Tag: v1.99.1-alpha~4
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cdc75e17789fb7c4ec9b6bdd95c88a9075689e63;p=thirdparty%2Fknot-resolver.git

Merge branch 'ci-deckard-valgrind' into 'master'

Check deckard with valgrind during CI

See merge request knot/knot-resolver!365
---

cdc75e17789fb7c4ec9b6bdd95c88a9075689e63