From: Petr Špaček <petr.spacek@nic.cz>
Date: Mon, 26 Mar 2018 12:27:06 +0000 (+0200)
Subject: Merge branch 'debian-no-symbols-in-dev' into 'master'
X-Git-Tag: v2.2.0~4
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=0bb9723da8ecce7b9147209478e2716b907ccf01;p=thirdparty%2Fknot-resolver.git

Merge branch 'debian-no-symbols-in-dev' into 'master'

debian: build dev packages without symbols file

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

0bb9723da8ecce7b9147209478e2716b907ccf01