[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