]> granicus.if.org Git - pdns/commitdiff
Merge pull request #8004 from Habbie/cherry-pick-merge
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Mon, 1 Jul 2019 09:49:18 +0000 (11:49 +0200)
committerGitHub <noreply@github.com>
Mon, 1 Jul 2019 09:49:18 +0000 (11:49 +0200)
cherry-pick-pr: fix branch name in merge command


Trivial merge