[monitoring-plugins] Merge pull request #1309 from ...

GitHub <[email protected]> Mon, 7 Nov 2016 23:10:12 +0100 (CET)

Newsgroups	gmane.network.nagios.cvs
Message-ID	<20161107221012.6A26D200846A__9553.43786995417$1478556655$gmane$org@orwell.monitoring-plugins.org>

    Module: monitoring-plugins
    Branch: master
    Commit: 19972e99f8634db02211cdfb6eb36078b4a825a8
    Author: Sven Nierlein <[email protected]>
 Committer: GitHub <[email protected]>
      Date: Mon Nov  7 23:07:34 2016 +0100
       URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=19972e9

Merge pull request #1309 from waja/negate_remove_unused_variables

negate: remove unused variables

---