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

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 5ebc24d998ef3e5aaee2810dcbd1cb233aff32d6
    Author: Sven Nierlein <s...@nierlein.org>
 Committer: GitHub <nore...@github.com>
      Date: Mon Nov  7 23:07:16 2016 +0100
       URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=5ebc24d

Merge pull request #1312 from waja/check_disk_remove_unused_variables

check_disk: remove unused variables

---