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

[Andreas Baumann]

 Module: monitoring-plugins
 Branch: feature_check_curl
 Commit: 2f4d6764d78cf085601b34ac92486405bd11095d
 Author: Andreas Baumann <m...@andreasbaumann.cc>
   Date: Thu Apr  4 13:09:15 2019 +0200
    URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=2f4d676

Merge branch 'master' into feature_check_curl

---