[monitoring-plugins] coverity/master branch modified

[Git Repository]

   Module: monitoring-plugins
   Branch: coverity/master
 Old SHA1: 82e28411c8803cdfa1868a530e2a56dc046ada92
 New SHA1: 8b2a2b1f4a4b0f41bc4f27b20bc7792913c65a54
      URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/log/?id=refs/heads/coverity/master

The coverity/master branch has been modified.