[monitoring-plugins] coverity/master branch modified

[Git Repository]

   Module: monitoring-plugins
   Branch: coverity/master
 Old SHA1: 18cc17aed0d1685db98e71728956965e880b44b9
 New SHA1: be16fc7f3b5e9f4e28f29e5398bf2550415fc3f9
      URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/log/?id=refs/heads/coverity/master

The coverity/master branch has been modified.