[monitoring-plugins] coverity/master branch modified

[Git Repository]

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

The coverity/master branch has been modified.