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

[Andreas Baumann]

 Module: monitoring-plugins
 Branch: feature_check_curl
 Commit: ea7f1fbb5c4c1097737f2f1f802e3f34fc14b3d0
 Author: Andreas Baumann <m...@andreasbaumann.cc>
   Date: Sat Sep  7 11:27:19 2019 +0200
    URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=ea7f1fb

Merge branch 'master' into feature_check_curl

---