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

Reply via email to