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

[Andreas Baumann]

 Module: monitoring-plugins
 Branch: feature_check_curl
 Commit: 491e2c0f9124f52997510214b4df2d24a44b6914
 Author: Andreas Baumann <m...@andreasbaumann.cc>
   Date: Wed Dec  4 19:56:38 2019 +0100
    URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=491e2c0

Merge branch 'master' into feature_check_curl

---