Merged #1404.
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1404#event-560378125
- DNS is case insensitive! (#1404) Sven Geggus
- Re: DNS is case insensitive! (#1404) Holger Weiß
Merged #1404.
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1404#event-560378125