Okay. I'm going to merge this as-is then.
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1252#issuecomment-39552953
Okay. I'm going to merge this as-is then.
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1252#issuecomment-39552953