]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #12101 from Habbie/el7-devtoolset-11
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Fri, 21 Oct 2022 08:42:19 +0000 (10:42 +0200)
committerGitHub <noreply@github.com>
Fri, 21 Oct 2022 08:42:19 +0000 (10:42 +0200)
el7 builds: bump devtoolset version


Trivial merge