Merged #1190.
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1190#event-136464877
Merged #1190.
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1190#event-136464877