]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'nitpicks' into 'master'
authorPetr Špaček <petr.spacek@nic.cz>
Wed, 9 May 2018 15:11:30 +0000 (17:11 +0200)
committerPetr Špaček <petr.spacek@nic.cz>
Wed, 9 May 2018 15:11:30 +0000 (17:11 +0200)
misc nitpicks

See merge request knot/knot-resolver!568


Trivial merge