Merge pull request #6707 from guidosarducci/master-fixup-stubby
authorDirk Brenken <redacted>
Sun, 14 Oct 2018 16:47:16 +0000 (18:47 +0200)
committerGitHub <redacted>
Sun, 14 Oct 2018 16:47:16 +0000 (18:47 +0200)
stubby: some fixes, cleanup, and improvements


Trivial merge
git clone https://git.99rst.org/PROJECT