]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #12569 from tjikkun/gcc13
authorRemi Gacogne <remi.gacogne@powerdns.com>
Mon, 20 Feb 2023 18:01:51 +0000 (19:01 +0100)
committerGitHub <noreply@github.com>
Mon, 20 Feb 2023 18:01:51 +0000 (19:01 +0100)
dnsdist-protocols.hh: include <cstdint>


Trivial merge