From: Petr Špaček <petr.spacek@nic.cz>
Date: Mon, 11 Dec 2017 12:35:29 +0000 (+0100)
Subject: Merge branch 'monotonic-nitpicks' into 'master'
X-Git-Tag: v1.5.1~1
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=12a1e5229094599366a067721e0005e9b90ea85f;p=thirdparty%2Fknot-resolver.git

Merge branch 'monotonic-nitpicks' into 'master'

Monotonic nitpicks

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

12a1e5229094599366a067721e0005e9b90ea85f