]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'nitpicks' into 'master'
authorPetr Špaček <petr.spacek@nic.cz>
Thu, 8 Feb 2018 13:07:15 +0000 (14:07 +0100)
committerPetr Špaček <petr.spacek@nic.cz>
Thu, 8 Feb 2018 13:07:15 +0000 (14:07 +0100)
nitpicks, see commits

See merge request knot/knot-resolver!480


Trivial merge