]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #10101 from jsoref/spelling-branch
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Thu, 18 Feb 2021 08:21:18 +0000 (09:21 +0100)
committerGitHub <noreply@github.com>
Thu, 18 Feb 2021 08:21:18 +0000 (09:21 +0100)
check-spelling: Try checking out merge/head appropriately


Trivial merge