]> granicus.if.org Git - pdns/commitdiff
Merge pull request #6210 from zeha/rec-abort-unused-arg
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Tue, 23 Jan 2018 11:16:55 +0000 (12:16 +0100)
committerGitHub <noreply@github.com>
Tue, 23 Jan 2018 11:16:55 +0000 (12:16 +0100)
recursor: abort when unused arguments remain


Trivial merge