]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #13255 from Habbie/ubuntu-mantic
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Mon, 25 Sep 2023 11:51:25 +0000 (13:51 +0200)
committerGitHub <noreply@github.com>
Mon, 25 Sep 2023 11:51:25 +0000 (13:51 +0200)
builder: add ubuntu-mantic target


Trivial merge