[monitoring-plugins] Merge branch 'master' into feature_check_curl

[Andreas Baumann]

 Module: monitoring-plugins
 Branch: feature_check_curl
 Commit: 34cc70c3c6428ba0d1f42994f5f0d6b4b8fc8711
 Author: Andreas Baumann <m...@andreasbaumann.cc>
   Date: Thu Jul 18 08:40:35 2019 +0200
    URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=34cc70c

Merge branch 'master' into feature_check_curl

---