From: Peter van Dijk Date: Thu, 11 Jul 2019 09:35:56 +0000 (+0200) Subject: Merge pull request #8065 from miesi/master X-Git-Tag: dnsdist-1.4.0-rc1~55 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=fb24a33273b3dff6a4d648d1dc850e1abf3137fe;p=pdns Merge pull request #8065 from miesi/master pdns/devpollmplexer: remove unused syncres.hh include --- fb24a33273b3dff6a4d648d1dc850e1abf3137fe