]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #11436 from rgacogne/ddist-unbreak-optional
authorRemi Gacogne <remi.gacogne@powerdns.com>
Mon, 21 Mar 2022 09:31:53 +0000 (10:31 +0100)
committerGitHub <noreply@github.com>
Mon, 21 Mar 2022 09:31:53 +0000 (10:31 +0100)
dnsdist: Fix compilation by adding a missing <optional> include in misc.cc


Trivial merge