Merged. We did use that patch for quite some time already.
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1349#issuecomment-145029778
Merged. We did use that patch for quite some time already.
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1349#issuecomment-145029778