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

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 00948e95f43953359d3a9de6a9dc664723ad7374
    Author: Sven Nierlein <s...@nierlein.de>
 Committer: GitHub <nore...@github.com>
      Date: Tue May 19 09:53:30 2020 +0200
       URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=00948e9

Merge pull request #1535 from monitoring-plugins/feature_check_curl

Feature check curl

---