From: Petr Špaček <petr.spacek@nic.cz>
Date: Wed, 15 Jul 2020 07:44:09 +0000 (+0200)
Subject: Merge branch 'nitpicks' into 'master'
X-Git-Tag: v5.1.3~25
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3614b74b3d1680bf8f8775ad2ad797620904d6c2;p=thirdparty%2Fknot-resolver.git

Merge branch 'nitpicks' into 'master'

nitpicks: batch of tiny fixes collected over time

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

3614b74b3d1680bf8f8775ad2ad797620904d6c2