[monitoring-plugins] Merge pull request #1307 from ...

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 28d4812860900e3eb21c3e64ec4250fead367c1a
    Author: Sven Nierlein <sven at nierlein.org>
 Committer: GitHub <noreply at github.com>
      Date: Mon Nov  7 23:05:26 2016 +0100
       URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=28d4812

Merge pull request #1307 from waja/check_dns_dead_code

check_dns: remove dead code

---