[monitoring-plugins] coverity/master branch modified

Git Repository <[email protected]> Tue, 29 Nov 2016 00:10:11 +0100 (CET)

Newsgroups	gmane.network.nagios.cvs
Message-ID	<[email protected]>

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

The coverity/master branch has been modified.