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

Tue, 08 Nov 2016 01:30:32 -0800 

    Module: monitoring-plugins
    Branch: master
    Commit: efaeecc8912db92256c80ee6e714f9752a45de00
    Author: Sven Nierlein <[email protected]>
 Committer: GitHub <[email protected]>
      Date: Tue Nov  8 10:26:52 2016 +0100
       URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=efaeecc

Merge pull request #1441 from waja/check_ide_smart_remove_unused_function

check_ide_smart: remove unused function

---

Reply via email to