Sorry ... I did miss your PR anyhow, but I fixed it in the same way with
20d223119eb40bd1ecdd637eb845f5e16c87bd36

-- 
Reply to this email on GitHub:
https://github.com/monitoring-plugins/monitoring-plugins/pull/1361#issuecomment-145367447

Reply via email to