I've squashed the two commits, applied cosmetic changes, added a NEWS entry, and merged the changes. Thanks!
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1235#issuecomment-64886894
I've squashed the two commits, applied cosmetic changes, added a NEWS entry, and merged the changes. Thanks!
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1235#issuecomment-64886894