]> granicus.if.org Git - pdns/commitdiff
Merge pull request #5892 from pieterlexis/make-travis-happy
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Wed, 1 Nov 2017 13:46:52 +0000 (14:46 +0100)
committerGitHub <noreply@github.com>
Wed, 1 Nov 2017 13:46:52 +0000 (14:46 +0100)
Make travis happy


Trivial merge