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