[monitoring-plugins] coverity/maint branch modified

[Git Repository]

   Module: monitoring-plugins
   Branch: coverity/maint
 Old SHA1: 5871123e0a5f520f810b2cfe03cef16c4c5a1aee
 New SHA1: 99b3bfe488a856df059e933c796590eea0baae8d
      URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/log/?id=refs/heads/coverity/maint

The coverity/maint branch has been modified.