From: Remi Gacogne <rgacogne@users.noreply.github.com>
Date: Wed, 30 Oct 2019 10:19:28 +0000 (+0100)
Subject: Merge pull request #8472 from rgacogne/remote-deprecated-floating_point_comparison
X-Git-Tag: dnsdist-1.4.0~27
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=1faaff3ddda041f52ec2a287c3ac18034fdae690;p=thirdparty%2Fpdns.git

Merge pull request #8472 from rgacogne/remote-deprecated-floating_point_comparison

Remove deprecated floating_point_comparison.hpp header
---

1faaff3ddda041f52ec2a287c3ac18034fdae690