]> granicus.if.org Git - pdns/commitdiff
Merge pull request #8043 from rgacogne/circle-flags
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Tue, 9 Jul 2019 14:08:32 +0000 (16:08 +0200)
committerGitHub <noreply@github.com>
Tue, 9 Jul 2019 14:08:32 +0000 (16:08 +0200)
Add -Werror=format-security and -D_GLIBCXX_ASSERTIONS on CircleCI


Trivial merge