[monitoring-plugins/monitoring-plugins] check_dns: remove dead code (#1307)

Sven Nierlein notifications at github.com
Mon Nov 7 23:05:39 CET 2016


Thanks, this PR has been merged.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/monitoring-plugins/monitoring-plugins/pull/1307#issuecomment-258978107
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://www.monitoring-plugins.org/archive/devel/attachments/20161107/ea247775/attachment.html>


More information about the Devel mailing list